Proof assistant for Typographical Number Theory
☆16Dec 15, 2015Updated 10 years ago
Alternatives and similar repositories for tnt
Users that are interested in tnt are comparing it to the libraries listed below
Sorting:
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- in order to criticize, we must first understand.☆24Mar 28, 2015Updated 10 years ago
- A simple python platform to perform analyses on facebook messenger conversations☆10Dec 11, 2023Updated 2 years ago
- A wc clone in Rust☆10Dec 25, 2015Updated 10 years ago
- A Binary Ninja plugin providing a set of BinaryViews for loading Motorola SREC, Intel HEX, and TI-TXT "hex" files☆10Sep 5, 2024Updated last year
- run commands in a container environment without root☆11Nov 1, 2016Updated 9 years ago
- CHIP-8 emulator for UEFI☆12Jun 12, 2017Updated 8 years ago
- The Comlink Specification. Comlink is a new interface description and integration language build self-integrating applications.☆11Apr 2, 2023Updated 2 years ago
- DIY LED Juggling Balls☆11Sep 19, 2021Updated 4 years ago
- [DEPRECATED] Make Passenger status reports work on Heroku☆11Mar 26, 2022Updated 3 years ago
- Here's a very early experiment, attempting to recreate a flipboard-style effect with CSS3 and JavaScript.☆17Nov 24, 2012Updated 13 years ago
- Adds a guard to disable ObjectInputStream.readObject☆11Dec 6, 2015Updated 10 years ago
- "Be(Come) A Mentor! Help Others Succeed!" by @OssAnna16☆10Mar 20, 2020Updated 5 years ago
- Surf productively and block websites. Website blocker + tab manager WebExtension.☆11Jul 23, 2018Updated 7 years ago
- HTTP Shell is a CLI tool based on the Kui framework that provides developers a modern alternative to http clients for interacting with AP…☆12Dec 17, 2020Updated 5 years ago
- A Babel transform for rendering a template version of your React / Preact app. Useful for generating a pre-render for SSR.☆10Aug 8, 2022Updated 3 years ago
- I'm learning Rust!☆13Nov 24, 2018Updated 7 years ago
- It is just like localStorage - but built on top of Cache API☆11Dec 28, 2015Updated 10 years ago
- Clojure's loop recur for javascript☆11May 9, 2015Updated 10 years ago
- A Chrome extension that lets you see through the LinkedIn jargon. Inspired by John Carpenter's They Live.☆10Feb 22, 2018Updated 8 years ago
- Arithmetic in Rust's Type System☆11Feb 18, 2024Updated 2 years ago
- VS Code extension for the Comlink language.☆12May 21, 2024Updated last year
- Inspired by placehold.it. Generates placeholder images for web pages in development but does not require an active Internet connection. …☆13Jul 31, 2017Updated 8 years ago
- Repozitář, který mapuje svěřenecký fond Andreje Babiše☆11Nov 11, 2023Updated 2 years ago
- Port of the React Native UIExplorer to Reason☆15Jun 1, 2017Updated 8 years ago
- A website reads Kobo database (sqlite) and shows the book and notes.☆16Updated this week
- 🕒 🐇 I'm late I'm late for a very important date☆13Apr 29, 2021Updated 4 years ago
- Descriptor is a spec-style test structuring library for rust☆11Jun 19, 2016Updated 9 years ago
- A tool for reasoning about breaking changes in Rust ecosystems☆39Nov 28, 2021Updated 4 years ago
- A JavaScript data structure for finding all intervals that overlap a point.☆13Nov 10, 2015Updated 10 years ago
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- ☆11Jan 21, 2016Updated 10 years ago
- CLI helper for managing PlantUML diagram sources and their previews in Markdown files☆12Apr 3, 2023Updated 2 years ago
- Share encrypted files between Dropbox Sync API apps☆14Mar 2, 2015Updated 11 years ago
- primary and secondary sources documenting America's misdeads☆11Aug 15, 2015Updated 10 years ago
- Adaptive pagination plugin for web frameworks and other applications☆11Jan 15, 2010Updated 16 years ago
- Automatic versioning of packages with mono-repos in mind☆13Oct 10, 2022Updated 3 years ago
- Chrome Extension to get references from your local files☆10Apr 15, 2023Updated 2 years ago
- like pushd, but for git branches☆56Aug 15, 2022Updated 3 years ago