Alternatives and similar repositories for kind-ai

Users that are interested in kind-ai are comparing it to the libraries listed below

• HigherOrderCO / HOP
  Lightweight, higher-order parser in Rust.
  ☆12Updated 2 years ago
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆44Updated 10 months ago
• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆23Updated 2 years ago
• HigherOrderCO / kindbook
  ☆50Updated 5 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated last year
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 5 years ago
• matklad / window
  ☆34Updated this week
• 90-008 / rust-nix-templater
  Generates Nix build / dev files for Rust projects.
  ☆49Updated 2 years ago
• hkmatsumoto / roogle
  A Rust API search engine
  ☆26Updated 3 years ago
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated 2 years ago
• lffg / compressing
  Basic (and naive) LZW and Huffman compression algorithms in Rust.
  ☆11Updated 2 years ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• sminez / roc
  Rust command line documentation searching
  ☆52Updated last year
• Jakobeha / type-sitter
  generate typed wrappers for tree-sitter grammars from node-types.json and queries
  ☆29Updated last month
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆62Updated 3 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• Darksonn / watch
  A synchronous message passing channel that only retains the most recent value.
  ☆13Updated 2 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆48Updated 2 months ago
• KSXGitHub / pipe-trait
  Make it possible to chain regular functions
  ☆48Updated 7 months ago
• nixosbrasil / nix-emacs
  Use the same module system that leverages NixOS to configure your emacs customization
  ☆11Updated 2 years ago
• spacekookie / learning-nix
  Freely licensed training material for the Nix expression language and ecosystem. Contact me to book on-site and remote training sessions
  ☆63Updated 2 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• hawkw / flake
  eliza's entire computer: the git repo
  ☆21Updated 3 weeks ago
• radicle-dev / radicle-surf
  A code browsing library for VCS file systems.
  ☆32Updated 2 years ago