jcoglan / tntLinks
Proof assistant for Typographical Number Theory
☆15Updated 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
- Process untrusted regexes in JavaScript, using the power of Rust!☆40Updated 2 years ago
- Colorize stderr☆16Updated 9 years ago
- A JavaScript parser written in Rust☆343Updated 4 years ago
- Targeting the web with Rust.☆126Updated 7 years ago
- Rust JavaScript interpreter☆100Updated 10 years ago
- Interpreter for inference rules☆13Updated 7 years ago
- ☆14Updated 9 years ago
- ☆56Updated 8 years ago
- Access an object from a single Tokio task☆13Updated 6 years ago
- Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit☆39Updated 7 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- Collection of resources & examples for Rust & WebAssembly☆75Updated 7 years ago
- Experimental hybrid redux+IncrementalDOM client and server-side rendering in Rust. (Pronounced like isomorphic + asymtope)☆26Updated 7 years ago
- Various implementations of microKanren☆22Updated 8 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- Discriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs☆32Updated 5 years ago
- An experimental Javascript parser and just-in-time compiler written in Rust☆139Updated 11 years ago
- Cryptographic signatures for auditing unsafe code in Rust☆55Updated 11 years ago
- Install a Cargo application from source without a preexisting Rust installation☆36Updated 10 years ago
- Easy Rust to WebAssembly☆260Updated 2 weeks ago
- Text operational transform library, for rust. Compatible with libot, ottypes/text.☆27Updated 4 years ago
- { rust => wasm => js } galaxy generation simulation☆30Updated 2 years ago
- Fungi: Typed incremental computation with names☆71Updated 6 years ago
- A simple word-counting demo to showcase Neon.☆31Updated 8 years ago
- JS affine☆68Updated 5 years ago
- [WIP] Transpile Rust (MIR) to JavaScript.☆76Updated 9 years ago
- Please don't use this! Check out this instead:☆62Updated 8 years ago
- IETF-style specification and test cases for TJSON☆64Updated 8 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆180Updated last year