jcoglan / tntLinks
Proof assistant for Typographical Number Theory
☆14Updated 9 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☆49Updated 6 years ago
- Discriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs☆32Updated 4 years ago
- The package manager.☆36Updated 2 years ago
- This describes a system for adding metadata to a project’s commit messages.☆25Updated 9 years ago
- Process untrusted regexes in JavaScript, using the power of Rust!☆40Updated 2 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- Interpreter for inference rules☆13Updated 7 years ago
- A multiplayer WebGL game☆10Updated 2 years ago
- Colorize stderr☆16Updated 9 years ago
- Rust JavaScript interpreter☆99Updated 10 years ago
- JS affine☆67Updated 5 years ago
- Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit☆38Updated 7 years ago
- Targeting the web with Rust.☆126Updated 6 years ago
- ☆55Updated 8 years ago
- GitHub-based discussions about package management, questions, answers, announcements☆53Updated 8 years ago
- A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust☆16Updated 9 years ago
- Various implementations of microKanren☆20Updated 8 years ago
- Experiment in structural code editing☆102Updated last year
- Parsell: an LL(1) parser combinator library for Rust☆74Updated 5 years ago
- Text operational transform library, for rust. Compatible with libot, ottypes/text.☆27Updated 4 years ago
- Collection of resources & examples for Rust & WebAssembly☆75Updated 6 years ago
- x86 bare metal Rust thing☆28Updated 9 years ago
- Some talks I've given☆91Updated 2 years ago
- Cryptographic signatures for auditing unsafe code in Rust☆55Updated 10 years ago
- (status: soon revived as different project) Statechart Description Language (just an experiment, need to be rewritten)☆102Updated 4 years ago
- self adjusting computations in rust☆136Updated 4 years ago
- An experimental Javascript parser and just-in-time compiler written in Rust☆137Updated 10 years ago
- A JavaScript parser written in Rust☆343Updated 3 years ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆166Updated 10 years ago
- ✨ is a web "framework" in Rust☆46Updated 7 years ago