agl / dclxviView external linksLinks
Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.
☆17Apr 19, 2016Updated 9 years ago
Alternatives and similar repositories for dclxvi
Users that are interested in dclxvi are comparing it to the libraries listed below
Sorting:
- Implementation of the ZKB++ proof system☆20May 28, 2019Updated 6 years ago
- Gadgets for covenants: Schnorr trick and txid reflection☆16May 4, 2025Updated 9 months ago
- Helper lib to write complex bitcoin scripts☆21Dec 2, 2025Updated 2 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Jun 12, 2025Updated 8 months ago
- CoSi command line interface☆21Jan 23, 2017Updated 9 years ago
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Jul 24, 2024Updated last year
- A powerful and fully automated bot designed to help users complete various Discord tasks efficiently. The bot supports multiple quest typ…☆28Jan 28, 2026Updated 2 weeks ago
- Code behind areweslimyet.com☆31Feb 14, 2018Updated 8 years ago
- Cryptris, a game about asymmetric cryptography☆18Sep 6, 2014Updated 11 years ago
- A re-implementation of the Cuphead expert mode with all-new content☆12Nov 11, 2024Updated last year
- 🎁🔥 Automatically open Discord Lootboxes ! Free and forever 🔥💸☆11Apr 3, 2024Updated last year
- "Container" for my brainfarts☆23Dec 30, 2015Updated 10 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- invader game in vim☆12Sep 22, 2011Updated 14 years ago
- TheYoke is an ultra-simple, polite feed aggregrator designed for use on the UNIX command line.☆23Feb 25, 2014Updated 11 years ago
- A web client for Irssi☆10Dec 12, 2017Updated 8 years ago
- Gametech STMM MMTC Yogyakarta Game Developer Roadmap (*prototype)☆11Nov 30, 2023Updated 2 years ago
- Collection of my CTF Writeups, mostly Indonesian CTFs☆13Jan 15, 2024Updated 2 years ago
- Write Perl subroutines in other programming languages☆19Jul 10, 2025Updated 7 months ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆15Oct 19, 2021Updated 4 years ago
- Runcom files for Vim and Bash☆12May 17, 2022Updated 3 years ago
- Sharp Aquos IP Remote for SmartThings☆10Oct 21, 2015Updated 10 years ago
- Embed a simple and beautiful HTML music player from local audio on your website using MediaElement.js and fast-average-color.☆11Apr 6, 2025Updated 10 months ago
- A media player.☆11Feb 1, 2026Updated last week
- Search and download subtitles☆11Jan 16, 2018Updated 8 years ago
- Shell session for Net::SSH connections☆25Jan 7, 2014Updated 12 years ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Jan 27, 2015Updated 11 years ago
- Use linux on a laptop and use xrandr to use projectors or external monitors? This is just a simple script that takes no arguments and doe…☆16Dec 15, 2023Updated 2 years ago
- Integrating Stone Prover's generated proofs with the Cairo0 verifier☆10Mar 8, 2024Updated last year
- FutureTrust analyzes electronic identification (eID) services in Europe and beyond. It is funded within the EU Framework Programme for Re…☆12Nov 16, 2022Updated 3 years ago
- 🐶 very lightweight dogecoin library, wow ✨ only 20kb gzipped， such node and browser support☆17Mar 8, 2025Updated 11 months ago
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Mar 30, 2025Updated 10 months ago
- ☆10Nov 6, 2018Updated 7 years ago
- Bruce's new cron system☆15Apr 28, 2021Updated 4 years ago
- Набор скриптов для установки Debian/Ubuntu через debootstrap☆13Jul 12, 2012Updated 13 years ago
- Test/Demo SIREKAP digits recognition☆10Feb 23, 2024Updated last year
- streamcurse is a curses stream launcher, inspired by gapatos livestreamer-curses☆13Mar 11, 2022Updated 3 years ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago