loda-lang / loda-rustLinks
Web editor for the LODA language.
☆28Updated 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.☆43Updated 5 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- Fungi: Typed incremental computation with names☆70Updated 6 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 9 years ago
- Antialiased 2D vector drawing library written in rust☆53Updated 5 years ago
- Razor is a tool for constructing finite models for first-order theories☆55Updated 2 years ago
- Rust grammar for Lezer☆22Updated last year
- A Haskell derived programming language for systems development.☆14Updated 7 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆71Updated last year
- Macros have types!☆134Updated 2 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 7 years ago
- Proposal to add multi-values to WebAssembly☆75Updated 4 years ago
- A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.☆63Updated 6 years ago
- A simplistic parsing library in Rust☆20Updated 5 years ago
- A programming language.☆12Updated 4 months ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- JS affine☆69Updated 5 years ago
- Constant-Time WebAssembly☆24Updated 7 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
- ☆18Updated 6 years ago
- An experimental programming language for ergonomic software verification☆16Updated last month
- [WIP] An embeddable high performance WebAssembly engine☆38Updated 3 years ago
- language verification, construction, and analysis☆20Updated 3 years ago
- Rust-like language compiling directly to WebAssembly☆15Updated 3 months ago
- WebAssembly signing and verification tool☆50Updated 7 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- A fast, brute force, automatic theorem prover for first order logic☆42Updated last year
- Rust implementation of the callbag spec for reactive/iterable programming☆30Updated 3 years ago
- Playing around with WebAssembly (Wasm) anyref using JavaScript's GC as the allocator☆22Updated 3 years ago