Alternatives and similar repositories for lambash

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

• 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
• Pebaz / LambdaCore
  An interpreted language written in Rust inspired by the Lisp family of languages.
  ☆61Updated 3 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆143Updated 2 months ago
• spacejam / sludge
  speedy web micro-framework using sled, io_uring and SIMD
  ☆13Updated 5 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 3 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆53Updated 8 months ago
• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 5 years ago
• Xe / pahi
  The next-generation Olin runtime, made with love
  ☆66Updated 3 years ago
• srijs / rpdf
  ☆22Updated 6 years ago
• ErichDonGubler / adhesion-rs
  D-inspired contract programming in Rust using macros
  ☆54Updated 4 years ago
• Libbum / oration
  A Rocket/Elm self hosted commenting system for static sites
  ☆22Updated 7 years ago
• andrewchambers / orderly
  Ordered process (re)start, shutdown, and supervision.
  ☆162Updated 5 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 2 years ago
• smol-rs / nb-connect
  [DEPRECATED] Non-blocking TCP or Unix connect
  ☆14Updated 4 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• gluon-lang / gluon_language-server
  Language server providing completion for gluon
  ☆54Updated 2 years ago
• contain-rs / cons-list
  An immutable singly-linked list, as seen in basically every functional language
  ☆30Updated 2 years ago
• irrustible / async-backplane
  Simple, Erlang-inspired fault-tolerance framework for Rust Futures.
  ☆131Updated 4 years ago
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆52Updated 2 years ago
• nox / inert
  Inert lets you use non-Sync values in Sync context
  ☆16Updated 6 years ago
• mboecker / edcert
  A rust crate for high-performance content-signing and certificate verification.
  ☆13Updated 9 years ago
• valpackett / interactor
  A Rust library for simple (usually command-line) user interaction | now on https://codeberg.org/valpackett/interactor
  ☆33Updated 3 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 4 years ago
• matprec / explain-rs
  A library which finds language features in rust code and provides resources on them.
  ☆39Updated 7 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆46Updated 8 years ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆71Updated 4 years ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 4 years ago
• bodil / simdify
  SIMD optimised algorithms and data types
  ☆18Updated 6 years ago