Alternatives and similar repositories for loda-rust

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

• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆73Updated last year
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated this week
• xieyuheng / logic-db
  Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
  ☆18Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 weeks ago
• lezer-parser / rust
  Rust grammar for Lezer
  ☆22Updated last year
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated 2 years ago
• keenbug / ReSheet
  A hackable notes-spreadsheet-hybrid for programmers
  ☆15Updated 7 months ago
• frostburn / ts-geometric-algebra
  TypeScript Geometric Algebra Generator
  ☆17Updated last year
• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• dobesv / charity
  Charity Programming Language
  ☆39Updated 10 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 7 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆68Updated 5 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• mgree / trampoline
  Safely running potentially non-terminating functions in Elm.
  ☆10Updated 4 years ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 9 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆33Updated this week
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 10 months ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• T-Brick / lean2wasm
  Tool for compiling Lean to WASM
  ☆19Updated last year
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 5 years ago