Pinned Repositories
bumpalo
A fast bump allocation arena for Rust
ecow
Compact, clone-on-write vector and string.
fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Idris2
A purely functional programming language with first class types
lalrpop
LR(1) parser generator for Rust
language-garden
A garden of small programming language implementations 🪴
mini-pion
pion
A dependently typed programming language [WIP]
SiMPL
SiMPL is a Minimal Programming Language
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Kmeakin's Repositories
Kmeakin/mini-pion
Kmeakin/SiMPL
SiMPL is a Minimal Programming Language
Kmeakin/bumpalo
A fast bump allocation arena for Rust
Kmeakin/ecow
Compact, clone-on-write vector and string.
Kmeakin/fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Kmeakin/Idris2
A purely functional programming language with first class types
Kmeakin/lalrpop
LR(1) parser generator for Rust
Kmeakin/language-garden
A garden of small programming language implementations 🪴
Kmeakin/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Kmeakin/nixfiles
Kmeakin/pion
A dependently typed programming language [WIP]
Kmeakin/pion-old
Kmeakin/pretty.rs
Wadler-style pretty-printing combinators in Rust
Kmeakin/scoped-arena
Arena allocator with scopes
Kmeakin/walrus
Kmeakin/walrus-report
Kmeakin/rust-analyzer
A Rust compiler front-end for IDEs
Kmeakin/wasmtime
A fast and secure runtime for WebAssembly