Alternatives and similar repositories for lambash

Users that are interested in lambash are comparing it to the libraries listed below

• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• gtestault / primitive-recursive-functions
  Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
  ☆40Updated 7 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆71Updated 4 years ago
• Pebaz / LambdaCore
  An interpreted language written in Rust inspired by the Lisp family of languages.
  ☆61Updated 3 years ago
• Xe / pahi
  The next-generation Olin runtime, made with love
  ☆66Updated 3 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆54Updated 9 months ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆143Updated 3 months ago
• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 5 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• rusch95 / mimalloc-rs
  Fork of mimallocator that aims to port mimalloc over to rust.
  ☆17Updated 6 years ago
• smol-rs / nb-connect
  [DEPRECATED] Non-blocking TCP or Unix connect
  ☆14Updated 4 years ago
• irrustible / async-backplane
  Simple, Erlang-inspired fault-tolerance framework for Rust Futures.
  ☆132Updated 4 years ago
• andrewchambers / orderly
  Ordered process (re)start, shutdown, and supervision.
  ☆162Updated 5 years ago
• ErichDonGubler / adhesion-rs
  D-inspired contract programming in Rust using macros
  ☆54Updated 4 years ago
• mboecker / edcert
  A rust crate for high-performance content-signing and certificate verification.
  ☆13Updated 9 years ago
• Libbum / oration
  A Rocket/Elm self hosted commenting system for static sites
  ☆22Updated 7 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 2 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 3 years ago
• przygienda / rust-extfsm
  Extended Finite State Machine library in Rust with internal event queue and entry/exit transitions
  ☆50Updated 3 years ago
• bastion-rs / fort
  Proc macro attributes for Bastion runtime.
  ☆51Updated 4 years ago
• sd2k / ttv
  A command line tool for splitting files into test, train, and validation sets.
  ☆40Updated 2 months ago
• zaphar / ucg
  A Universal Configuration Grammar
  ☆37Updated 3 weeks ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 4 years ago
• damienstanton / ctrs
  Category Theory For Programmers (Bartosz Milewski)
  ☆67Updated 3 years ago
• maxpert / drep
  dynamic regular expression print
  ☆89Updated 3 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 4 years ago
• irrustible / futures-micro
  To futures-lite as futures-lite is to futures: smaller.
  ☆54Updated last year
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• spacejam / seaslug
  scraps of a potential language
  ☆38Updated 4 years ago