"No technology that's connected to the internet is unhackable." ― Abhijit Naskar
☆28Nov 22, 2019Updated 6 years ago
Alternatives and similar repositories for Compiler-Books
Users that are interested in Compiler-Books are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Homework Template for Typst☆13Apr 5, 2023Updated 3 years ago
- Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…☆22May 29, 2024Updated 2 years ago
- GeomScale in Google Summer of Code 2021☆10Feb 10, 2021Updated 5 years ago
- A LaTeX-based and collaborative research diary☆13Oct 6, 2020Updated 6 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lisp compiler for x86-64☆42Updated this week
- Thin but safe Linux interface☆12Nov 26, 2025Updated 11 months ago
- ☆26May 13, 2026Updated 5 months ago
- Linux compatible kernel written in Zig for running linux binaries in the browser☆37Jul 17, 2026Updated 3 months ago
- A Typst template for "Tufte" style handouts with side notes☆22Jun 30, 2023Updated 3 years ago
- MIT NIHS image format implementations☆10Dec 11, 2019Updated 6 years ago
- a simple presentation tool☆13Jun 3, 2024Updated 2 years ago
- ☆13Dec 13, 2020Updated 5 years ago
- Bunnymark ported to a few languages in TIC-80 for performance testing.☆14Apr 3, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- small embeddable C-style preprocessor☆48May 12, 2023Updated 3 years ago
- Lua bindings to the QOI library☆13Dec 20, 2021Updated 4 years ago
- Layout helpers and syntactic sugar for Karax☆19Jan 9, 2026Updated 9 months ago
- Bootscripts to boot a MLFS/LFS system with s6 and s6-rc☆10Dec 19, 2023Updated 2 years ago
- visual screenshotter for plan9☆11Feb 5, 2024Updated 2 years ago
- A lightweight Markdown viewer and project-notes plugin for Lite XL.☆15Dec 8, 2025Updated 10 months ago
- A repository for the material of my course on lambda-calculus and categories☆45Oct 19, 2026Updated last week
- Terminal-based painting app☆11Sep 13, 2024Updated 2 years ago
- Minimal Lisp interpreter.☆12Mar 4, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The formal proof of the Odd Order Theorem☆37Aug 20, 2026Updated 2 months ago
- an image viewer for 9front☆13Nov 30, 2021Updated 4 years ago
- A Collection of 88x31px GIFs☆14Jun 21, 2024Updated 2 years ago
- Miscellaneous old Exploit code and PoCs☆16Oct 1, 2024Updated 2 years ago
- MuJS Binding for V/Vlang☆14Dec 23, 2022Updated 3 years ago
- wine for 9☆17Oct 29, 2022Updated 4 years ago
- Documentation for 4chan's read-only JSON API.☆27Sep 26, 2014Updated 12 years ago
- Tiny Lua Dungeone and Roguelike Engine☆13Nov 8, 2013Updated 12 years ago
- Sparse Matrix Factorization (SMF) is a key component in many machine learning problems and there exist a verity a applications in real-w…☆12Jan 25, 2016Updated 10 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.
- Demos of GNOME technologies - GTK, libadwaita, CSS, portals, ...☆14Jun 2, 2026Updated 4 months ago
- Compiling C to FlipJump☆97Jun 23, 2026Updated 4 months ago
- NetBSD's wtf(6) adapted for Void Linux☆24Apr 3, 2024Updated 2 years ago
- Cx is now called Neat. https://github.com/neat-lang/neat☆10Jul 15, 2021Updated 5 years ago
- Yet another write-optimized storage engine, using buffered B-tree algorithm inspired by TokuDB☆12Nov 1, 2013Updated 12 years ago
- ☆10Jul 22, 2020Updated 6 years ago
- A custom C compiler to x86 32bit machine code☆17Dec 23, 2025Updated 10 months ago