Ericson2314 / baccumulation
☆34Updated this week
Alternatives and similar repositories for baccumulation:
Users that are interested in baccumulation are comparing it to the libraries listed below
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 7 months ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆59Updated 7 months ago
- A Nix web bundler because why not☆55Updated 10 months ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆57Updated 7 months ago
- Visualize binary files☆116Updated last week
- A portable self-bootstrapping C compiler☆125Updated this week
- Mini elm-inspired utilities for Ocaml CLI applications☆72Updated last month
- My own cybersecurity research talks/slides☆37Updated last year
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated 11 months ago
- What do you call a pointer we stole the high bits off? An ointer.☆85Updated last year
- X11 window management toolkit☆76Updated 4 months ago
- Concatenative command-line shell☆137Updated 6 months ago
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆54Updated last week
- Research and proof of concept to develop the next SecureDrop with end to end encryption.☆47Updated 3 weeks ago
- Docker in 600 lines of bash using proot☆16Updated 4 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated 11 months ago
- An experiment in controlling the size of a thread pool using a PID controller.☆117Updated last year
- User-configurable login shell configured by the SHELLS environment variable.☆20Updated 7 months ago
- Brzozowski derivative python sketch☆83Updated 9 months ago
- What impact does floating point precision have on Mandelbrot set calculations?☆107Updated last year
- A tool to sign PDF files. With Linux support.☆128Updated 2 months ago
- the origins of J☆63Updated last year
- An experiment in hermetic, reproducible build systems☆320Updated this week
- Gemini CLI protocol client written in 100 lines of ANSI C☆68Updated 2 months ago
- Infinitely configurable integrated IDE and text editor☆124Updated 2 months ago
- PostgreSQL Prolog language handler☆131Updated 9 months ago
- A x86_64 Linux debugger 🐛🐛🐛☆234Updated 11 months ago
- HypergraphZ - A Hypergraph Implementation in Zig☆101Updated last month
- Semi-Automated Python Proof Assistant☆69Updated this week
- ☆92Updated last year