- All languages
- Agda
- Blade
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Dockerfile
- EJS
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Lua
- MDX
- Makefile
- Mojo
- Objective-C
- PHP
- PLpgSQL
- Prolog
- Python
- Rocq Prover
- Ruby
- Rust
- Scheme
- Shell
- Svelte
- Swift
- TypeScript
- Verilog
- Vim Script
- Vim Snippet
- Vue
- Web Ontology Language
Starred repositories
hardware implementation of transformers running microgpt at 50k+ tkps
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
In-depth tutorials on LLMs, RAGs and real-world AI agent applications.
The simplest, fastest repository for training/finetuning medium-sized GPTs.
Sourcebot is a self-hosted tool that helps humans and agents understand your codebase.
Unified framework for building enterprise RAG pipelines with small, specialized models
An incremental parsing system for programming tools
😋 A list of language implementations written in Rust. Encouraging people to write language-related projects in Rust!
Rhai - An embedded scripting language for Rust.
A list of programming languages implemented in Rust, for inspiration.
a WIP architecture designed to allow transformers to think in a manner without tokens
Large Concept Models: Language modeling in a sentence representation space
Official inference framework for 1-bit LLMs
Các thí nghiệm liên quan tới LLMs cho tiếng Việt (insprised by Physics of LLMs Series)
List of papers studying machine learning through the lens of category theory
A curated list of awesome Category Theory resources.
Deep Learning Primitives and Mini-Framework for OpenCL
A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
A logic programming library for Clojure & ClojureScript
Embedding a Prolog-like logic programming language in JavasScript and TypeScript.