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 last month
• adisbladis / kakapo
  A Nix web bundler because why not
  ☆55Updated 11 months ago
• NyuB / ocli
  Mini elm-inspired utilities for Ocaml CLI applications
  ☆73Updated 3 months ago
• 8dcc / bin-graph
  Visualize binary files
  ☆116Updated last month
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆96Updated last year
• meribold / btry
  Battery info program for x86-64 Linux laptops in 384 bytes of machine code
  ☆59Updated 8 months ago
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆117Updated last year
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated 10 months ago
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆58Updated 8 months ago
• FascinatedBox / bonk
  X11 window management toolkit
  ☆77Updated 6 months ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 9 months ago
• hkoosha / bag
  Docker in 600 lines of bash using proot
  ☆16Updated 4 years ago
• lambdanil / nix-problems
  The many issues plaguing Nix
  ☆64Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 10 months ago
• cloudripper / NixLFS
  Linux from Scratch from Nix
  ☆61Updated 9 months ago
• jwilk / git-landmine
  create local malicious git repo
  ☆49Updated 3 weeks ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 10 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• AkechiShiro / slides-talks
  My own cybersecurity research talks/slides
  ☆37Updated last year
• kspalaiologos / qbdiff
  building and applying patches to binary files
  ☆71Updated last year
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆131Updated 10 months ago
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆252Updated 6 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆75Updated this week
• Gabriella439 / holepunch
  NixOS configuration for tunneling an inbound SSH connection over an outbound HTTPS connection
  ☆70Updated 5 months ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆91Updated this week