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
- Collection of Kind2 programs and proofs☆12Updated last year
- The Simplest Parser Library (that works) in Rust☆44Updated last year
- experimental auto-currying for rust functions☆32Updated 5 years ago
- A minimal decentralized computer.☆118Updated 3 years ago
- Asynchronous Language Server Protocol framework☆139Updated 2 months ago
- Freely licensed training material for the Nix expression language and ecosystem. Contact me to book on-site and remote training sessions☆72Updated 2 years ago
- Make it possible to chain regular functions☆50Updated last year
- An implementation of strace in Rust, and a library interface☆22Updated 7 years ago
- A code browsing library for VCS file systems.☆31Updated 3 years ago
- A fork of Tree Sitter with a pure Rust runtime for WASM support☆52Updated 3 months ago
- A Rust API search engine☆27Updated 4 years ago
- Generates Nix build / dev files for Rust projects.☆49Updated 2 years ago
- Format code blocks inside documentation 🦤☆16Updated 6 months ago
- 👌 A smol functional language that targets other languages☆66Updated last year
- ☆55Updated 11 months ago
- A collection of CC-BY-SA course material to teach the Rust programming language, in different formats, levels, and focus points. Contact …☆18Updated 2 years ago
- A Rust library offering newtyped indices and vecs that use those indices☆20Updated last year
- Rust Shop is a fake cloud-based software company that you can fork.☆78Updated 9 months ago
- A highly experiment portable runtime☆21Updated last year
- Type-safe SQL query wrappers☆12Updated 3 years ago
- A minimalist property-based testing library☆120Updated 7 months ago
- Minimal Prolog implemented in Rust☆46Updated 2 months ago
- Rust program for automerging PRs based on a few rules☆45Updated last year
- A function for fetching the crates listed in a Cargo lock file☆55Updated 3 years ago
- The Haskell’s do notation brought to Rust☆64Updated 3 years ago
- Rust crate for writing repetitive code easier and faster.☆45Updated 2 years ago
- hindley-milner algorithm☆62Updated 2 years ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Amplifying Rust language capabilities: multiple generic trait implementations, type wrappers, bit-precise numerics, derive macros☆56Updated 6 months ago