loda-lang / loda-rust

Related projects ⓘ

Alternatives and complementary repositories for loda-rust

• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆64Updated 7 months ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 4 years ago
• zachgk / catln
  A high-level programming language
  ☆36Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆27Updated 3 weeks ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆31Updated this week
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• MikaelMayer / Editor
  Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
  ☆20Updated last year
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• forest-lang / notes
  Notes from my research for forest-lang
  ☆12Updated 2 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆66Updated 5 years ago
• frostburn / ts-geometric-algebra
  TypeScript Geometric Algebra Generator
  ☆12Updated 9 months ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆22Updated last week
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆44Updated this week
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆24Updated 6 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆33Updated 2 years ago
• lqd / datapond
  A set of tools for working with datafrog
  ☆22Updated 4 years ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• VictorTaelin / absal-rs
  ☆36Updated 6 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• justinpombrio / synless
  Synless is a language-agnostic tree editor.
  ☆20Updated 2 weeks ago
• orc-lang / orc
  Orc programming language implementation
  ☆42Updated 2 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆130Updated last year