loda-lang / loda-rustLinks
Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.
☆26Updated last month
Alternatives and similar repositories for loda-rust
Users that are interested in loda-rust are comparing it to the libraries listed below
Sorting:
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- Rust grammar for Lezer☆22Updated last year
- A programming language.☆12Updated 2 months ago
- Fungi: Typed incremental computation with names☆70Updated 5 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- The Yatima Standard Library☆20Updated last year
- Macros have types!☆131Updated 2 years ago
- the WebAssembly partial evaluator☆100Updated last month
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 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
- Flexible and modular framework for different NP-Problems with different solvers☆22Updated 7 months ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 9 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 4 years ago
- Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.☆26Updated 11 years ago
- ☆18Updated 6 years ago
- Proposal to add multi-values to WebAssembly☆73Updated 4 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- Type-Level Programming in Rust☆28Updated 3 years ago
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Updated last year
- A Haskell derived programming language for systems development.☆14Updated 7 years ago
- Scheme Interpreter in Rust☆29Updated 7 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Proof-of-concept for a memory-efficient data structure for zooming billion-event traces☆70Updated 4 years ago
- JS affine☆67Updated 5 years ago
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- A Rust implementation of the Lean kernel☆11Updated 2 years ago
- a pragmatic point-free theorem prover assistant☆142Updated 2 weeks ago
- (status: soon revived as different project) Statechart Description Language (just an experiment, need to be rewritten)☆102Updated 4 years ago
- A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.☆63Updated 6 years ago