jcoglan / tntLinks
Proof assistant for Typographical Number Theory
☆14Updated 10 years ago
Alternatives and similar repositories for tnt
Users that are interested in tnt are comparing it to the libraries listed below
Sorting:
- instrumenting wasm binaries to trace function execution☆50Updated 6 years ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆167Updated 10 years ago
- Experiment in structural code editing☆104Updated last year
- Text operational transform library, for rust. Compatible with libot, ottypes/text.☆27Updated 4 years ago
- An IDE for the Ohm language (JavaScript edition)☆101Updated last year
- Interpreter for inference rules☆13Updated 7 years ago
- GitHub-based discussions about package management, questions, answers, announcements☆53Updated 8 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- A simple word-counting demo to showcase Neon.☆31Updated 8 years ago
- An experimental Javascript parser and just-in-time compiler written in Rust☆139Updated 11 years ago
- ☆174Updated 4 months ago
- Discriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs☆32Updated 5 years ago
- Collection of resources & examples for Rust & WebAssembly☆75Updated 6 years ago
- A multiplayer WebGL game☆10Updated 3 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆179Updated last year
- Access an object from a single Tokio task☆13Updated 6 years ago
- Various implementations of microKanren☆20Updated 8 years ago
- This describes a system for adding metadata to a project’s commit messages.☆25Updated 10 years ago
- Port of microKanren to JavaScript.☆25Updated 3 years ago
- A JavaScript parser written in Rust☆343Updated 4 years ago
- Easy ISSUES☆49Updated 8 years ago
- The Sentient Programming Language.☆82Updated 6 years ago
- Process untrusted regexes in JavaScript, using the power of Rust!☆40Updated 2 years ago
- Rust JavaScript interpreter☆100Updated 10 years ago
- JS affine☆69Updated 5 years ago
- Concatenative programming for Javascript☆105Updated 10 years ago
- Targeting the web with Rust.☆126Updated 7 years ago
- ES6 flavoured parser combinators☆72Updated 7 years ago
- ✨ is a web "framework" in Rust☆46Updated 7 years ago
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆69Updated 4 years ago