The BIGNUM BAKEOFF was a while ago, but people still ask about this from time to time.
☆34Nov 10, 2015Updated 10 years ago
Alternatives and similar repositories for busy
Users that are interested in busy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- New version of the PML language and (classical) proof assistant☆21Feb 13, 2026Updated last month
- ☆10Dec 19, 2018Updated 7 years ago
- 関数型プログラミングに関する論文の非公式日本語訳☆25Mar 5, 2015Updated 11 years ago
- Five Letters is a challenging word puzzle game where you try to guess the secret five letter word.☆25Feb 17, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- quotient types in cubical Agda☆24Feb 4, 2019Updated 7 years ago
- Cayley Dickson algebra implementation in python☆12Jan 3, 2019Updated 7 years ago
- A Python program to break up a file into multiple QR codes to be scanned by TXQRAndroid☆11May 23, 2019Updated 6 years ago
- my blog☆17Nov 4, 2022Updated 3 years ago
- ShaderGif is a free and open source home for art made with code☆41Aug 5, 2024Updated last year
- CPU simulation framework for CS520 (Binghamton University, Graduate Computer Architecture)☆10May 10, 2018Updated 7 years ago
- a collection of various algorithms written using recursion schemes☆24Jan 2, 2022Updated 4 years ago
- A small C compiler written in Python for learning purposes☆41Jan 8, 2018Updated 8 years ago
- ZKPs in Cryptographic Voting☆16Sep 15, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Easy way to run doctests via cabal☆36Nov 27, 2019Updated 6 years ago
- My malduino scripts.☆12Apr 26, 2019Updated 6 years ago
- Operational monad library☆30Nov 30, 2021Updated 4 years ago
- NEWS! We will soon release a TypeScript transpilation and improvement of this library. Self-contained cryptographic library for use in el…☆16Jan 21, 2022Updated 4 years ago
- A Python ICU MessageFormat parsing tool☆17Aug 22, 2025Updated 7 months ago
- the BLAKE3 hash function implemented in 6502 assembly☆58Feb 12, 2022Updated 4 years ago
- A project to create a Befunge93/98 interpreter and debugger using C#☆15Nov 9, 2023Updated 2 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 8 months ago
- DiffieHellman, Elgamal, ECDSA & STS with elliptic curve in python☆20Aug 25, 2016Updated 9 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- LR(1) Parser for the Ambients Protocol☆12Jun 17, 2022Updated 3 years ago
- Massive Hackage CI for building Hackage package versions against multiple GHC versions☆24Oct 1, 2021Updated 4 years ago
- Tools for creating and verifying provably fair games.☆17Mar 23, 2017Updated 9 years ago
- Some teaching materials about MIMO in Communications.☆19Jun 16, 2021Updated 4 years ago
- Sort any Traversable container☆42Jun 22, 2022Updated 3 years ago
- Upload, save and run keystroke injection payloads with an ESP8266 + ATMEGA32U4☆20May 2, 2017Updated 8 years ago
- Text-based interactive GHC .prof viewer☆49Jun 19, 2023Updated 2 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆36Aug 2, 2017Updated 8 years ago
- Proof of concept userspace filesystem that executes filenames as shell commands and makes the result accessible though reading the file.☆70Mar 4, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆13Dec 25, 2023Updated 2 years ago
- 🍟🥔🥣 JS compiler that turns javascript into javascript code!☆35Oct 27, 2019Updated 6 years ago
- Firewire recording device☆25Updated this week
- The first ever roguelike written in the OCaml type system☆95Apr 2, 2025Updated 11 months ago
- Contains M5Stack-UNIT UHF RFID series related case programs☆33Jul 4, 2025Updated 8 months ago
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Nov 4, 2017Updated 8 years ago
- Unpacked containers using backpack☆52Apr 26, 2020Updated 5 years ago