Alternatives and similar repositories for loda-rust

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

• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆74Updated last year
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• stefnotch / quantum-sheet
  QuantumSheet - A user friendly mathematics worksheet and solver
  ☆56Updated 2 years ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• makepad / glui
  ☆18Updated 6 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆69Updated 5 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated 2 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• anvaka / simplegrad
  Simple reverse mode automatic differentiation of scalar values in javascript
  ☆17Updated last month
• varkor / DISTORT
  A small game demonstrating a grid distortion effect
  ☆14Updated 3 years ago
• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• zachgk / catln
  A high-level programming language
  ☆39Updated 5 months ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 4 months ago
• functional-data-structure / finger-tree
  Finger tree data structure for JavaScript
  ☆26Updated last week
• digama0 / olean-rs
  parser/viewer for olean files (lean 3)
  ☆12Updated 6 years ago
• BookOwl / type-inference
  Hindley Milner Type Inference in Rust
  ☆12Updated 7 years ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 5 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• drever / ct-consciousness
  ☆16Updated 11 months ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• codedot / inet-lib
  JavaScript Engine for Interaction Nets
  ☆8Updated 7 years ago
• Soonad / FormalityFM
  Formality in itself
  ☆20Updated 4 years ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 4 months ago
• 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