Alternatives and similar repositories for baccumulation

Users that are interested in baccumulation are comparing it to the libraries listed below

• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 5 months ago
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆37Updated 2 months ago
• meribold / btry
  Battery info program for x86-64 Linux laptops in 384 bytes of machine code
  ☆60Updated last year
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 3 months ago
• mycweb / mycelium
  Typed Formats for Storing & Transferring Data & Code
  ☆33Updated last month
• jeprinz / pantograph
  ☆86Updated 4 months ago
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 2 years ago
• tavianator / parconf
  Parallel ./configure proof of concept
  ☆38Updated last month
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• elijah-potter / thrax-language
  A toy programming language I wrote in late 2022
  ☆24Updated last year
• 8dcc / bin-graph
  Visualize binary files
  ☆131Updated 2 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 2 months ago
• RalfJung / bubblebox
  Simple Application Sandboxing
  ☆19Updated 10 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆131Updated 6 months ago
• nathants / mighty-snitch
  notice and prevent network egress
  ☆84Updated last week
• adisbladis / kakapo
  A Nix web bundler because why not
  ☆55Updated last year
• skullchap / neverflow
  Set of macros that guard against buffer overflows. Based on C99 VLA feature.
  ☆129Updated 2 years ago
• RGBCube / crash
  User-configurable login shell configured by the SHELLS environment variable.
  ☆22Updated last week
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆58Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• sidkshatriya / rr.soft
  Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…
  ☆77Updated 3 weeks ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 8 months ago
• AkechiShiro / slides-talks
  My own cybersecurity research talks/slides
  ☆37Updated last year
• kspalaiologos / qbdiff
  building and applying patches to binary files
  ☆72Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 6 months ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆97Updated last year
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆80Updated 3 months ago
• ret2pop / stem
  A minimal stack based programming language
  ☆33Updated last year
• AnilBK / ANIL
  ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…
  ☆58Updated last month