loda-lang / loda-rustLinks
Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.
☆26Updated last week
Alternatives and similar repositories for loda-rust
Users that are interested in loda-rust are comparing it to the libraries listed below
Sorting:
- Rust grammar for Lezer☆22Updated last year
- Hypergraph Rewriting System☆81Updated last year
- Fungi: Typed incremental computation with names☆70Updated 5 years ago
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- Proposal to add tail calls to WebAssembly☆114Updated 5 months ago
- A programming language.☆12Updated 3 weeks ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 9 years ago
- Precursor to WASI libc.☆36Updated 3 years ago
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- Macros have types!☆131Updated 2 years ago
- Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.☆26Updated 11 years ago
- QuantumSheet - A user friendly mathematics worksheet and solver☆57Updated 3 years ago
- A Haskell derived programming language for systems development.☆14Updated 6 years ago
- Proposal to add multi-values to WebAssembly☆72Updated 3 years ago
- A live programming environment that lets you see the inner workings of programs☆81Updated 3 years ago
- A high-level programming language☆39Updated 7 months ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- ☆18Updated 6 years ago
- Proof-of-concept for a memory-efficient data structure for zooming billion-event traces☆70Updated 4 years ago
- Scheme Interpreter in Rust☆29Updated 7 years ago
- Document scoped to discussion of Universal Strings for WebAssembly☆22Updated 2 years ago
- Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.☆21Updated last year
- self adjusting computations in rust☆136Updated 3 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- 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
- Experimental type-safe geometric algebra for Rust☆56Updated 2 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- Possibly the smallest compiler ever - now in Rust☆23Updated 8 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago