loda-lang / loda-rustLinks
Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.
☆25Updated 3 weeks ago
Alternatives and similar repositories for loda-rust
Users that are interested in loda-rust are comparing it to the libraries listed below
Sorting:
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Hypergraph Rewriting System☆74Updated last year
- Standard library for the Formality language☆18Updated 5 years ago
- QuantumSheet - A user friendly mathematics worksheet and solver☆56Updated 2 years ago
- The Yatima Standard Library☆20Updated last year
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- ☆18Updated 6 years ago
- Fungi: Typed incremental computation with names☆69Updated 5 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Simple reverse mode automatic differentiation of scalar values in javascript☆17Updated last month
- A small game demonstrating a grid distortion effect☆14Updated 3 years ago
- ☆35Updated 6 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- A high-level programming language☆39Updated 5 months ago
- Another attempt to realize my programming language☆23Updated 4 months ago
- Finger tree data structure for JavaScript☆26Updated last week
- parser/viewer for olean files (lean 3)☆12Updated 6 years ago
- Hindley Milner Type Inference in Rust☆12Updated 7 years ago
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- language verification, construction, and analysis☆20Updated 3 years ago
- ☆16Updated 11 months ago
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- JavaScript Engine for Interaction Nets☆8Updated 7 years ago
- Formality in itself☆20Updated 4 years ago
- How to read Lean☆17Updated 4 months ago
- Embedding a Prolog-like logic programming language in JavasScript and TypeScript.☆18Updated last year
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago