Ericson2314 / baccumulationLinks
☆45Updated 7 months ago
Alternatives and similar repositories for baccumulation
Users that are interested in baccumulation are comparing it to the libraries listed below
Sorting:
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆74Updated last year
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆79Updated 6 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆75Updated 7 months ago
- A Nix web bundler because why not☆56Updated last year
- A portable self-bootstrapping C compiler☆156Updated this week
- ☆92Updated 7 months ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 6 months ago
- C plus Prolog☆165Updated 6 months ago
- A small, weird and unpractical programming language.☆103Updated this week
- A bibliography for protocol design☆41Updated 4 months ago
- A Low Barrier Proof Assistant☆124Updated last week
- An experiment in controlling the size of a thread pool using a PID controller.☆118Updated last year
- Brzozowski derivative python sketch☆85Updated 5 months ago
- User-configurable login shell configured by the SHELLS environment variable.☆22Updated 3 months ago
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆18Updated last year
- Rewriting Principia Mathematica in Lean☆134Updated 3 weeks ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- What impact does floating point precision have on Mandelbrot set calculations?☆108Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆45Updated last year
- ☆90Updated 10 months ago
- A x86_64 Linux debugger 🐛🐛🐛☆238Updated last year
- Parallel ./configure proof of concept☆40Updated 4 months ago
- building and applying patches to binary files☆74Updated last month
- An ngn/k tutorial.☆206Updated last year
- Transductive regular expressions☆252Updated 3 months ago
- 📚 A collection of resources about supercompilation☆117Updated last month
- Explore ELF objects through the power of SQL☆260Updated last year