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
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆23Updated 2 years ago
• HigherOrderCO / kindbook
  ☆48Updated 5 months ago
• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated last year
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆44Updated 10 months ago
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated 2 years ago
• yusdacra / rust-nix-templater
  Generates Nix build / dev files for Rust projects.
  ☆49Updated 2 years ago
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆62Updated 3 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• input-output-hk / rust.nix
  Build rust crates in Nix. No configuration, no code generation, no IFD. Sandbox friendly.
  ☆9Updated 3 years ago
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 5 years ago
• azzamsa / gelatyx
  Format code blocks inside documentation 🦤
  ☆16Updated last year
• moonad / Formality-tmp
  ☆9Updated 4 years ago
• edolstra / import-cargo
  A function for fetching the crates listed in a Cargo lock file
  ☆51Updated 3 years ago
• HigherOrderCO / bend-language-server
  Language server for the Bend programming language
  ☆15Updated 7 months ago
• ip1981 / npm.nix
  Organize JavaScript packages with the Nix package manager
  ☆13Updated last year
• renlabs-dev / torus-ts
  Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.
  ☆12Updated this week
• radicle-dev / radicle-surf
  A code browsing library for VCS file systems.
  ☆32Updated 2 years ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• aripiprazole / soft
  🧪 | Lisp with REPL and macros which will compile itself
  ☆13Updated 6 months ago
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆69Updated this week
• njaremko / purescript-deno
  ☆28Updated 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
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆59Updated 2 weeks ago
• matteo-meluzzi / agda2hvm
  ☆13Updated 2 years ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆44Updated 8 months ago
• matklad / window
  ☆34Updated last month
• DeterminateSystems / nix-wasm-example
  ☆24Updated 6 months ago