Some notes on various topics.
☆67Jul 10, 2025Updated 7 months ago
Alternatives and similar repositories for scribbles
Users that are interested in scribbles are comparing it to the libraries listed below
Sorting:
- Rust library to provide validations for arbitrary types.☆20May 22, 2016Updated 9 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- EPWING dictionary viewer☆11Nov 13, 2018Updated 7 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- LeetCode OJ's Binary Tree Visualization in Python☆12Nov 19, 2016Updated 9 years ago
- ☆11Mar 8, 2022Updated 3 years ago
- L-Systems in Rust☆15May 16, 2019Updated 6 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- Some stuff for CTF.☆10Oct 27, 2019Updated 6 years ago
- Load and resolve Cargo configuration.☆18Feb 26, 2026Updated last week
- An ordered map and set based on a trie.☆28May 21, 2020Updated 5 years ago
- Use Rust failures as Python exceptions☆17Sep 1, 2018Updated 7 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- HUD for tenhou.net riichi mahjong server. Shows tsumogiri and hidden tiles.☆14Jan 20, 2017Updated 9 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 6 years ago
- CFE virtual competition framework☆14Feb 1, 2017Updated 9 years ago
- A system to handle and connect meal-credit donations on the Brown campus☆10Apr 19, 2023Updated 2 years ago
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- ☆16Feb 18, 2025Updated last year
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- A web site for uploading and sharing solutions for the game TIS-100.☆13Jun 22, 2025Updated 8 months ago
- Plugin for loglevel which allows disable/enable debug output dynamically☆16Dec 15, 2023Updated 2 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- exploit dev. stuff☆20Aug 7, 2012Updated 13 years ago
- Some RSA attacks with sage☆11Nov 15, 2016Updated 9 years ago
- Ruby - pwn tools☆11Nov 7, 2015Updated 10 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- ☆10Aug 27, 2023Updated 2 years ago
- My presentation on Cyber Grand Challenge and DEFCON 24 CTF at SHLUG monthly meeting☆13Sep 24, 2016Updated 9 years ago
- Gobbling it's way through your pcap files☆24Oct 23, 2014Updated 11 years ago
- Deletes all items that are masked out by gitignore files☆13Aug 30, 2021Updated 4 years ago
- Full functional idascript with stdin/stdout handled☆20Jan 25, 2017Updated 9 years ago
- Format Racket source code☆15Jul 23, 2022Updated 3 years ago
- Proof of Work generator☆12Jun 26, 2019Updated 6 years ago
- A faster replacement for `#[derive(Hash)]` for types without padding☆30Aug 18, 2025Updated 6 months ago
- ☆16Jan 11, 2019Updated 7 years ago
- ☆15Feb 21, 2026Updated last week