Ericson2314 / baccumulationLinks
☆44Updated last week
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.☆76Updated last year
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 10 months ago
- C plus Prolog☆165Updated 8 months ago
- ☆97Updated 9 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 8 months ago
- Concatenative command-line shell☆136Updated 5 months ago
- An ngn/k tutorial.☆210Updated last year
- An experiment in controlling the size of a thread pool using a PID controller.☆118Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 11 months ago
- A Nix web bundler because why not☆56Updated last year
- Transductive regular expressions☆252Updated 2 months ago
- Rewriting Principia Mathematica in Lean☆136Updated 2 months ago
- LD_PRELOADable library for exploring the glibc heap☆108Updated 8 months ago
- A portable self-bootstrapping C compiler☆179Updated this week
- User-configurable login shell configured by the SHELLS environment variable.☆23Updated 5 months ago
- Brzozowski derivative python sketch☆85Updated 8 months ago
- A x86_64 Linux debugger 🐛🐛🐛☆239Updated last year
- Set of macros that guard against buffer overflows. Based on C99 VLA feature.☆128Updated 2 years ago
- What impact does floating point precision have on Mandelbrot set calculations?☆109Updated 2 years ago
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- building and applying patches to binary files☆75Updated 4 months ago
- A next-generation high-performance operating system focused on enterprise-level resilience☆88Updated last year
- PostgreSQL Prolog language handler☆135Updated last year
- Infinitely configurable integrated IDE and text editor☆128Updated last year
- the origins of J☆63Updated 2 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆106Updated last year
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆18Updated 2 years ago
- Binary Lambda Calculus Virtual Machine☆56Updated last year