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 last year
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆22Updated last year
• HigherOrderCO / kindbook
  ☆41Updated 3 weeks ago
• VictorTaelin / Taelang
  my personal lang
  ☆15Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 8 months ago
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆42Updated 5 months ago
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 4 years ago
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated last year
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆29Updated 3 months ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆69Updated last year
• aripiprazole / soft
  🧪 | Lisp with REPL and macros which will compile itself
  ☆13Updated last month
• Gadersd / ic
  An interaction combinator runtime
  ☆15Updated 4 months ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆33Updated last year
• robotlolita / cursed-aoc
  Advent of Code 2021, but I can only use TypeScript's type system to solve the puzzles
  ☆12Updated 3 years ago
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆69Updated this week
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated 8 months ago
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆58Updated 3 years ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆43Updated 4 months ago
• matteo-meluzzi / agda2hvm
  ☆13Updated last year
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆28Updated last week
• lffg / compressing
  Basic (and naive) LZW and Huffman compression algorithms in Rust.
  ☆10Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated 9 months ago
• oxalica / async-lsp
  Asynchronous Language Server Protocol framework
  ☆84Updated 2 months ago
• hgm-king / prose
  ☆41Updated 2 years ago
• brunocodutra / reducer
  A predictable reactive framework for Rust apps inspired by Redux
  ☆58Updated 4 months ago
• Darksonn / watch
  A synchronous message passing channel that only retains the most recent value.
  ☆13Updated last year
• natserract / rustfp
  Functional programming in Rust
  ☆14Updated 3 years ago