VictorTaelin / kind-aiLinks
โ23Updated 2 years ago
Alternatives and similar repositories for kind-ai
Users that are interested in kind-ai are comparing it to the libraries listed below
Sorting:
- ๐งช | LLVM backend for HVMโ23Updated 2 years ago
- The Simplest Parser Library (that works) in Rustโ44Updated last year
- Asynchronous Language Server Protocol frameworkโ127Updated last month
- my personal langโ16Updated last year
- Collection of Kind2 programs and proofsโ12Updated last year
- experimental auto-currying for rust functionsโ32Updated 5 years ago
- A minimal decentralized computer.โ118Updated 3 years ago
- Make it possible to chain regular functionsโ50Updated 10 months ago
- a small one-file lisp implemented in kind2, intentionally incompleteโ10Updated 2 years ago
- โ52Updated 7 months ago
- The Haskellโs do notation brought to Rustโ64Updated 3 years ago
- Format code blocks inside documentation ๐ฆคโ16Updated 2 months ago
- A fork of Tree Sitter with a pure Rust runtime for WASM supportโ48Updated last week
- Minimal Prolog implemented in Rustโ44Updated 11 months ago
- An interface for writing a RustTypeChecker.โ43Updated 2 years ago
- A code browsing library for VCS file systems.โ31Updated 2 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.โ44Updated 9 years ago
- Freely licensed training material for the Nix expression language and ecosystem. Contact me to book on-site and remote training sessionsโ69Updated 2 years ago
- Exploring the "expression problem" in Rustโ50Updated 2 years ago
- A minimalist property-based testing libraryโ115Updated 4 months ago
- A simple programming language for researching different ways of program execution and compilationโ33Updated 10 months ago
- The Torus Blockchain implementation.โ20Updated this week
- An implementation of strace in Rust, and a library interfaceโ22Updated 7 years ago
- โ119Updated last year
- VimL lisp evaluatorโ10Updated 4 years ago
- hindley-milner algorithmโ62Updated 2 years ago
- Tauri, ReScript, and React templateโ38Updated 2 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.ioโ14Updated 2 years ago
- Basic (and naive) LZW and Huffman compression algorithms in Rust.โ11Updated 2 years ago
- A golden file testing library for rustโ35Updated 3 weeks ago