Library of Intuitive Ordinal Notations (IONs)
☆11May 8, 2020Updated 5 years ago
Alternatives and similar repositories for IONs
Users that are interested in IONs are comparing it to the libraries listed below
Sorting:
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- A collection of code related to the HANSEI language☆10Jun 14, 2016Updated 9 years ago
- Dashchan video player libraries☆11Nov 23, 2020Updated 5 years ago
- Android App for Hacker News and Widget☆13Mar 5, 2025Updated 11 months ago
- ☆14Oct 23, 2025Updated 4 months ago
- PropForthV5.5 is Forth progamming environment for Parallax Propeller P8X32A microcontroller created by Sal Sanci☆11Aug 14, 2016Updated 9 years ago
- A map of relationships among cryptographic primitives☆12Dec 17, 2018Updated 7 years ago
- ☆12Mar 26, 2024Updated last year
- An isolated environment for DNS cache poisoning attack investigation and demonstration.☆10Nov 22, 2020Updated 5 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- UART Serial commands for the Waveshare Wave Rover robot☆13Jan 14, 2024Updated 2 years ago
- ☆13Feb 3, 2026Updated 3 weeks ago
- Archiving GitHub☆11Aug 5, 2025Updated 6 months ago
- Documentación sobre malas prácticas en C y C++ y su solución☆11Jun 21, 2024Updated last year
- Blogging in the ways of the old school.☆12Feb 12, 2026Updated 2 weeks ago
- Bitwarden Passwordless.dev Android SDK.☆15Feb 20, 2026Updated last week
- iTunes Podcast Finder & RSS feed Parser☆14Dec 8, 2022Updated 3 years ago
- ☆12Feb 26, 2024Updated 2 years ago
- Nintendo 64 demo written in Java.☆10Jan 11, 2023Updated 3 years ago
- ☆20Feb 18, 2026Updated last week
- ☆12Mar 29, 2023Updated 2 years ago
- Specifications for better computing☆10Nov 19, 2019Updated 6 years ago
- Build and program your own desktop companion robot that performs gestures while it renders text phrases as speech.☆13Jul 6, 2023Updated 2 years ago
- Downloads data from the nyiso and stores it in a db☆11Jul 20, 2018Updated 7 years ago
- Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strin…☆16Mar 20, 2024Updated last year
- ☆12Updated this week
- A sample VS Code extension that shows how to add new collaborative features to Live Share☆12Jul 8, 2023Updated 2 years ago
- A collection of fun and interesting words in English used in the Insanity Jam's Game Idea Generator☆13Sep 8, 2022Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- ☆10Oct 25, 2022Updated 3 years ago
- Train YOLO object detection model to find traffic signs in the images. Use OCR pipeline to extract the information from the signs with te…☆12Dec 26, 2020Updated 5 years ago
- Timeleap website☆13Jan 15, 2026Updated last month
- Boids implementation in C++ with spatial hashing☆14Jul 24, 2021Updated 4 years ago
- Small exercises to get you used to reading and writing Rust code!☆11Jan 1, 2023Updated 3 years ago
- The SubScript extension to the Scala programming language☆12May 20, 2015Updated 10 years ago
- Playground to practice "Designing Data-Intensive Applications" concepts☆12Jan 31, 2023Updated 3 years ago
- No longer in active development. -- Work moved to: https://github.com/18f/snap-js-api-prototype. -- A prototype API to calculate SNAP eli…☆11Aug 17, 2020Updated 5 years ago
- A methodology for distributed, asynchronous design contributions to software projects☆17May 2, 2024Updated last year
- A comprehensive TODO sample using SvelteKit + ZenStack + TanStack Query☆15Dec 4, 2025Updated 2 months ago