Alternatives and similar repositories for loda-rust

Users that are interested in loda-rust are comparing it to the libraries listed below

• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆43Updated 5 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 3 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 6 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 9 years ago
• cytecbg / gpucanvas
  Antialiased 2D vector drawing library written in rust
  ☆53Updated 5 years ago
• salmans / rusty-razor
  Razor is a tool for constructing finite models for first-order theories
  ☆55Updated 2 years ago
• lezer-parser / rust
  Rust grammar for Lezer
  ☆22Updated last year
• boomshroom / NovaLang
  A Haskell derived programming language for systems development.
  ☆14Updated 7 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆71Updated last year
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 2 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 7 years ago
• WebAssembly / multi-value
  Proposal to add multi-values to WebAssembly
  ☆75Updated 4 years ago
• dflemstr / tin
  A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.
  ☆63Updated 6 years ago
• shepmaster / peresil
  A simplistic parsing library in Rust
  ☆20Updated 5 years ago
• samestep / moss
  A programming language.
  ☆12Updated 4 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• asajeffrey / josephine
  JS affine
  ☆69Updated 5 years ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 7 years ago
• bodil / palmtree
  Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.
  ☆26Updated 5 years ago
• makepad / glui
  ☆18Updated 6 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated last month
• appcypher / wasmo-old
  [WIP] An embeddable high performance WebAssembly engine
  ☆38Updated 3 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• nathsou / yolang-res
  Rust-like language compiling directly to WebAssembly
  ☆15Updated 3 months ago
• frehberg / wasm-sign
  WebAssembly signing and verification tool
  ☆50Updated 7 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆42Updated last year
• teohhanhui / callbag-rs
  Rust implementation of the callbag spec for reactive/iterable programming
  ☆30Updated 3 years ago
• jayphelps / wasm-anyref-demo
  Playing around with WebAssembly (Wasm) anyref using JavaScript's GC as the allocator
  ☆22Updated 3 years ago