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 6 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆143Updated last month
• Pebaz / LambdaCore
  An interpreted language written in Rust inspired by the Lisp family of languages.
  ☆61Updated 3 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆53Updated 7 months ago
• Libbum / oration
  A Rocket/Elm self hosted commenting system for static sites
  ☆22Updated 7 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 4 years ago
• mboecker / edcert
  A rust crate for high-performance content-signing and certificate verification.
  ☆13Updated 9 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 3 years ago
• Stebalien / gazetta
  A sub-second static blogging framework
  ☆31Updated last month
• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 5 years ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆71Updated 4 years ago
• andrewchambers / orderly
  Ordered process (re)start, shutdown, and supervision.
  ☆162Updated 5 years ago
• Xe / pahi
  The next-generation Olin runtime, made with love
  ☆66Updated 3 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• damienstanton / ctrs
  Category Theory For Programmers (Bartosz Milewski)
  ☆67Updated 3 years ago
• bodil / simdify
  SIMD optimised algorithms and data types
  ☆18Updated 6 years ago
• sile / beam_file
  A tiny library for processing Erlang BEAM file in Rust
  ☆22Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆132Updated 2 years ago
• contain-rs / cons-list
  An immutable singly-linked list, as seen in basically every functional language
  ☆29Updated 2 years ago
• smol-rs / nb-connect
  [DEPRECATED] Non-blocking TCP or Unix connect
  ☆14Updated 4 years ago
• srijs / rpdf
  ☆22Updated 6 years ago
• gluon-lang / gluon_language-server
  Language server providing completion for gluon
  ☆54Updated 2 years ago
• irrustible / async-backplane
  Simple, Erlang-inspired fault-tolerance framework for Rust Futures.
  ☆130Updated 4 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆15Updated 4 years ago
• irrustible / futures-micro
  To futures-lite as futures-lite is to futures: smaller.
  ☆54Updated 10 months ago
• bastion-rs / fort
  Proc macro attributes for Bastion runtime.
  ☆51Updated 3 years ago
• zaphar / ucg
  A Universal Configuration Grammar
  ☆37Updated 3 months ago
• nox / inert
  Inert lets you use non-Sync values in Sync context
  ☆16Updated 6 years ago