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
- Collection of Kind2 programs and proofsβ12Updated last year
- β53Updated 8 months ago
- my personal langβ16Updated last year
- Make it possible to chain regular functionsβ50Updated 10 months ago
- Freely licensed training material for the Nix expression language and ecosystem. Contact me to book on-site and remote training sessionsβ70Updated 2 years ago
- An interface for writing a RustTypeChecker.β43Updated 2 years ago
- experimental auto-currying for rust functionsβ32Updated 5 years ago
- Exploring the "expression problem" in Rustβ50Updated 2 years ago
- a small one-file lisp implemented in kind2, intentionally incompleteβ10Updated 2 years ago
- A code browsing library for VCS file systems.β31Updated 3 years ago
- A minimal decentralized computer.β118Updated 3 years ago
- Asynchronous Language Server Protocol frameworkβ130Updated last month
- A collection of CC-BY-SA course material to teach the Rust programming language, in different formats, levels, and focus points. Contact β¦β17Updated 2 years ago
- An implementation of strace in Rust, and a library interfaceβ22Updated 7 years ago
- Basic (and naive) LZW and Huffman compression algorithms in Rust.β11Updated 2 years ago
- π§ͺ | Lisp with REPL and macros which will compile itselfβ13Updated 9 months ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.β44Updated 9 years ago
- Rust Shop is a fake cloud-based software company that you can fork.β77Updated 6 months ago
- Use the same module system that leverages NixOS to configure your emacs customizationβ11Updated 3 years ago
- Search through rust crates without leaving the terminalβ31Updated 11 months ago
- VimL lisp evaluatorβ10Updated 4 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntaxβ68Updated last year
- A highly experiment portable runtimeβ20Updated last year
- hindley-milner algorithmβ62Updated 2 years ago
- The Haskellβs do notation brought to Rustβ64Updated 3 years ago
- Generates Nix build / dev files for Rust projects.β49Updated 2 years ago
- A configurable async Rust crate that provides a simple way to declaratively navigate to multiple webpages, scrape contents, and follow liβ¦β15Updated 5 years ago
- A function for fetching the crates listed in a Cargo lock fileβ54Updated 3 years ago