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 `λ!`.
  ☆85Updated 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 6 years ago
• Pebaz / LambdaCore
  An interpreted language written in Rust inspired by the Lisp family of languages.
  ☆61Updated 3 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆141Updated last year
• Xe / pahi
  The next-generation Olin runtime, made with love
  ☆66Updated 3 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 5 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 5 months ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆72Updated 4 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆14Updated 4 years ago
• contain-rs / cons-list
  An immutable singly-linked list, as seen in basically every functional language
  ☆29Updated 2 years ago
• spacejam / sludge
  speedy web micro-framework using sled, io_uring and SIMD
  ☆13Updated 5 years ago
• Libbum / oration
  A Rocket/Elm self hosted commenting system for static sites
  ☆22Updated 7 years ago
• ErichDonGubler / adhesion-rs
  D-inspired contract programming in Rust using macros
  ☆54Updated 4 years ago
• insanitybit / sandbox
  Easy sandboxing for rust
  ☆11Updated 9 years ago
• mboecker / edcert
  A rust crate for high-performance content-signing and certificate verification.
  ☆13Updated 8 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• aslpavel / fingertree-rs
  FingerTree implemented in rust
  ☆24Updated last year
• srijs / rpdf
  ☆22Updated 6 years ago
• gluon-lang / gluon_language-server
  Language server providing completion for gluon
  ☆53Updated 2 years ago
• zaphar / ucg
  A Universal Configuration Grammar
  ☆37Updated last month
• matprec / explain-rs
  A library which finds language features in rust code and provides resources on them.
  ☆39Updated 7 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 4 years ago
• taylordotfish / tagged-pointer
  Platform-independent space-efficient tagged pointers in Rust
  ☆20Updated 2 months ago
• nox / inert
  Inert lets you use non-Sync values in Sync context
  ☆16Updated 6 years ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 4 years ago
• maxpert / drep
  dynamic regular expression print
  ☆91Updated 3 years ago