jcoglan / tnt
Proof assistant for Typographical Number Theory
☆14Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for tnt
- Easy ISSUES☆49Updated 7 years ago
- Access an object from a single Tokio task☆13Updated 5 years ago
- A persistent, typed objects implementation for node.js and the browser.☆23Updated 8 years ago
- instrumenting wasm binaries to trace function execution☆47Updated 5 years ago
- GitHub-based discussions about package management, questions, answers, announcements☆53Updated 7 years ago
- Process untrusted regexes in JavaScript, using the power of Rust!☆38Updated last year
- Continuously read/write to disk using random offsets and lengths .☆27Updated 10 months ago
- Discriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs☆33Updated 3 years ago
- Text operational transform library, for rust. Compatible with libot, ottypes/text.☆27Updated 3 years ago
- compile x64 assembly into a callable function☆19Updated 9 years ago
- A simple word-counting demo to showcase Neon.☆31Updated 7 years ago
- Fast string editing in Javascript using skip lists☆90Updated 5 years ago
- WebAssembly Types☆17Updated 7 years ago
- a changes stream for couchdb style APIs - written in Rust☆27Updated 3 months ago
- A template string tag for generating template string tags.☆65Updated 4 years ago
- Multi-type protocol-based polymorphism☆10Updated 8 years ago
- Library for describing & applying DOM changes (off UI thread)☆19Updated 6 years ago
- npm packages done right☆11Updated 8 years ago
- std::RefCell with more useful error messages.☆15Updated 3 years ago
- Simple JSON-RPC implementation☆20Updated last year
- es4 clone☆26Updated 10 years ago
- Various implementations of microKanren☆19Updated 7 years ago
- An implementation of nucleus-js using duktape and libuv implemented in rust☆25Updated 8 years ago
- Safe password hashing.☆18Updated 3 years ago
- Get the infomation of dependencies in the project.☆9Updated 8 months ago
- Transparently apply CSS Modules to hyperscript-compatible DOM builders, such as virtual-hyperscript and React☆59Updated 8 years ago