Ericson2314 / baccumulationLinks
☆44Updated 6 months ago
Alternatives and similar repositories for baccumulation
Users that are interested in baccumulation are comparing it to the libraries listed below
Sorting:
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆75Updated 7 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 5 months ago
- Brzozowski derivative python sketch☆85Updated 4 months ago
- A bibliography for protocol design☆39Updated 4 months ago
- C plus Prolog☆163Updated 5 months ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 5 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- An experiment in controlling the size of a thread pool using a PID controller.☆118Updated last year
- A small, weird and unpractical programming language.☆103Updated this week
- ☆89Updated 9 months ago
- A x86_64 Linux debugger 🐛🐛🐛☆237Updated last year
- Transductive regular expressions☆251Updated 3 months ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- the origins of J☆63Updated 2 years ago
- Rewriting Principia Mathematica in Lean☆133Updated last week
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆129Updated 2 years ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- ☆93Updated 6 months ago
- A Nix web bundler because why not☆56Updated last year
- A portable self-bootstrapping C compiler☆155Updated last week
- Docker in 600 lines of bash using proot☆16Updated 4 years ago
- Explore ELF objects through the power of SQL☆260Updated last year
- Injects code into an ELF file☆51Updated 3 weeks ago
- What impact does floating point precision have on Mandelbrot set calculations?☆108Updated 2 years ago
- building and applying patches to binary files☆74Updated 2 weeks ago
- An ngn/k tutorial.☆204Updated last year
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆18Updated last year
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year