Ericson2314 / baccumulationLinks
☆44Updated 5 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☆76Updated 5 months ago
- ☆89Updated 5 months ago
- A bibliography for protocol design☆38Updated 2 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 4 months ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 4 months ago
- C plus Prolog☆162Updated 4 months ago
- A Nix web bundler because why not☆55Updated last year
- Docker in 600 lines of bash using proot☆16Updated 4 years ago
- A portable self-bootstrapping C compiler☆143Updated this week
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- An experiment in controlling the size of a thread pool using a PID controller.☆118Updated last year
- An ngn/k tutorial.☆204Updated last year
- What impact does floating point precision have on Mandelbrot set calculations?☆108Updated 2 years ago
- Rewriting Principia Mathematica in Lean☆132Updated 7 months ago
- Explore ELF objects through the power of SQL☆257Updated 11 months ago
- A small, weird and unpractical programming language.☆103Updated this week
- PostgreSQL Prolog language handler☆134Updated last year
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆125Updated 4 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- X11 window management toolkit☆77Updated 3 months ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated last year
- Transductive regular expressions☆250Updated last month
- A next-generation high-performance operating system focused on enterprise-level resilience☆87Updated 9 months ago
- the origins of J☆62Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 7 months ago
- Parallel ./configure proof of concept☆39Updated 2 months ago
- Mini elm-inspired utilities for Ocaml CLI applications☆75Updated 3 weeks ago