Alternatives and similar repositories for lambash

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

• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆141Updated last year
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆85Updated last year
• Xe / pahi
  The next-generation Olin runtime, made with love
  ☆66Updated 3 years ago
• 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
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 3 years ago
• Pebaz / LambdaCore
  An interpreted language written in Rust inspired by the Lisp family of languages.
  ☆61Updated 3 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 5 months ago
• matprec / explain-rs
  A library which finds language features in rust code and provides resources on them.
  ☆39Updated 7 years ago
• andrewchambers / orderly
  Ordered process (re)start, shutdown, and supervision.
  ☆161Updated 4 years ago
• aslpavel / fingertree-rs
  FingerTree implemented in rust
  ☆23Updated last year
• Libbum / oration
  A Rocket/Elm self hosted commenting system for static sites
  ☆22Updated 7 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• srijs / rpdf
  ☆22Updated 6 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆14Updated 4 years ago
• Stebalien / gazetta
  A sub-second static blogging framework
  ☆32Updated last month
• maxpert / drep
  dynamic regular expression print
  ☆91Updated 3 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆28Updated 3 years ago
• sd2k / ttv
  A command line tool for splitting files into test, train, and validation sets.
  ☆40Updated last week
• bodil / simdify
  SIMD optimised algorithms and data types
  ☆18Updated 5 years ago
• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 5 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 8 years ago
• contain-rs / cons-list
  An immutable singly-linked list, as seen in basically every functional language
  ☆29Updated 2 years ago
• valpackett / interactor
  A Rust library for simple (usually command-line) user interaction | now on https://codeberg.org/valpackett/interactor
  ☆33Updated 2 years ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆71Updated 4 years ago
• valpackett / tiny-nix-ipc
  Minimal Rust wrapper for using sockets as IPC with file descriptor passing | now on https://codeberg.org/valpackett/tiny-nix-ipc
  ☆15Updated 2 years ago
• damienstanton / ctrs
  Category Theory For Programmers (Bartosz Milewski)
  ☆67Updated 3 years ago