aripiprazole / trazodone
๐งช | LLVM backend for HVM
โ20Updated last year
Related projects โ
Alternatives and complementary repositories for trazodone
- my personal langโ15Updated 10 months ago
- Haskell bindings to binaryen.โ13Updated 3 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.โ11Updated last week
- A WebAssembly implementation in Lean4โ32Updated 11 months ago
- Lightweight, higher-order parser in Rust.โ11Updated last year
- โ13Updated last year
- Lean 4 port of Megaparsecโ23Updated 10 months ago
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Updated 10 months ago
- Animations for Elementary-Affine-Net interactionsโ11Updated 5 years ago
- โ23Updated last year
- โ9Updated 3 years ago
- Find torrents using Google or DuckDuckGo without leaving emacsโ10Updated 2 years ago
- โ36Updated 3 years ago
- a small one-file lisp implemented in kind2, intentionally incompleteโ10Updated last year
- Specification of the Formality proof and programming languageโ40Updated last year
- Formality in itselfโ20Updated 3 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposesโ14Updated 6 years ago
- Fฯฮผ type checker and compilerโ51Updated last year
- A minimal pure functional language based on self dependent types.โ72Updated 2 years ago
- ๐ฎ | Is a programming language aimed at incorporating everything Iโd like to have in Haskell, except dependent types.โ13Updated 2 years ago
- โ11Updated last year
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.โ14Updated 3 years ago
- Standard library for the Formality languageโ18Updated 4 years ago
- Type-Level Programming in Rustโ26Updated 2 years ago
- โ14Updated last year