Skip to content
View NhanHo's full-sized avatar

Block or report NhanHo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

An HTML pre-proces­sor for web ty­pog­ra­phy

JavaScript 2,663 54 Updated Dec 14, 2024

Learning in infinite dimension with neural operators.

Python 2,454 623 Updated Feb 25, 2025

The matrix cookbook, proved in the Lean theorem prover

Lean 100 11 Updated Nov 23, 2024

A programming language benchmark

C 259 36 Updated Jan 30, 2025

Fast Desktop Switching Device

C 6,881 209 Updated Feb 9, 2025
Python 8,578 505 Updated Oct 9, 2024

LLMs as Copilots for Theorem Proving in Lean

C++ 1,048 98 Updated Mar 4, 2025

Kandinsky 2 — multilingual text2image latent diffusion model

Jupyter Notebook 2,781 312 Updated May 1, 2024
JavaScript 24 16 Updated Mar 4, 2025

aider is AI pair programming in your terminal

Python 28,554 2,591 Updated Mar 3, 2025

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

Scala 7,402 326 Updated Mar 4, 2025

Bringing copy-on-write semantics to PostgreSQL.

C 15 Updated Sep 8, 2019

DSPy: The framework for programming—not prompting—language models

Python 22,252 1,704 Updated Mar 4, 2025

Focus on prompting and generating

Python 43,563 6,553 Updated Jan 24, 2025

Dromedary: towards helpful, ethical and reliable LLMs.

Python 1,140 90 Updated Oct 26, 2023

An easy to use, cross platform, GUI library for writing Haskell applications.

Haskell 609 44 Updated May 20, 2024

Official implementation for "Automatic Chain of Thought Prompting in Large Language Models" (stay tuned & more will be updated)

Jupyter Notebook 1,737 160 Updated Mar 13, 2024

RWKV (pronounced RwaKuv) is an RNN with great LLM performance, which can also be directly trained like a GPT transformer (parallelizable). We are at RWKV-7 "Goose". So it's combining the best of RN…

Python 13,260 894 Updated Feb 27, 2025

ChatRWKV is like ChatGPT but powered by RWKV (100% RNN) language model, and open source.

Python 9,461 705 Updated Jan 28, 2025

LLM as a Chatbot Service

Python 3,305 378 Updated Nov 20, 2023

Code and documentation to train Stanford's Alpaca models, and generate the data.

Python 29,861 4,060 Updated Jul 17, 2024

Be great at emacs in one year

6,402 889 Updated Oct 17, 2022

JARVIS, a system to connect LLMs with ML community. Paper: https://arxiv.org/pdf/2303.17580.pdf

Python 23,986 1,997 Updated Sep 26, 2024
Python 5,785 946 Updated Mar 1, 2025
Python 10,214 1,314 Updated Mar 1, 2025

Finetuning SD in style.

Python 676 52 Updated Apr 1, 2023

Instruct-tune LLaMA on consumer hardware

Jupyter Notebook 18,818 2,223 Updated Jul 29, 2024

An automated bot for the coding game Screeps.com

TypeScript 106 36 Updated Aug 27, 2024

This repository is for saving pinned snippets from the screeps slack for posterity

JavaScript 79 25 Updated Jul 21, 2023
Next
Showing results