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
- Discriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs☆32Updated 5 years ago
- Interpreter for inference rules☆13Updated 7 years ago
- Rust JavaScript interpreter☆100Updated 10 years ago
- Text operational transform library, for rust. Compatible with libot, ottypes/text.☆27Updated 4 years ago
- Various implementations of microKanren☆22Updated 8 years ago
- Access an object from a single Tokio task☆13Updated 6 years ago
- An experimental Javascript parser and just-in-time compiler written in Rust☆139Updated 11 years ago
- A JavaScript parser written in Rust☆343Updated 4 years ago
- Collection of resources & examples for Rust & WebAssembly☆75Updated 7 years ago
- Process untrusted regexes in JavaScript, using the power of Rust!☆40Updated 2 years ago
- IETF-style specification and test cases for TJSON☆64Updated 8 years ago
- The package manager.☆36Updated 2 years ago
- The Sentient Programming Language.☆82Updated 6 years ago
- Cryptographic signatures for auditing unsafe code in Rust☆55Updated 11 years ago
- ☆56Updated 8 years ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆167Updated 10 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆180Updated last year
- Targeting the web with Rust.☆126Updated 7 years ago
- Experiment in structural code editing☆104Updated last year
- boats's personal barricade☆105Updated 7 years ago
- A simple word-counting demo to showcase Neon.☆31Updated 8 years ago
- Elm examples and snippets☆78Updated 9 years ago
- { rust => wasm => js } galaxy generation simulation☆30Updated 2 years ago
- x86 bare metal Rust thing☆28Updated 9 years ago
- A wc clone in Rust☆10Updated 10 years ago
- Fast HTTPS redirector☆20Updated 9 years ago
- JS affine☆68Updated 5 years ago
- Concatenative programming for Javascript☆105Updated 10 years ago
- Macaroons: bearer credentials with caveats for distributed authorization☆61Updated 9 years ago