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
  ☆75Updated 7 months ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆80Updated 5 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 4 months ago
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆39Updated 4 months ago
• needleful / c_plus_prolog
  C plus Prolog
  ☆163Updated 5 months ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 5 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 8 months ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆118Updated last year
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated this week
• ButlerOS / haskell-butler
  ☆89Updated 9 months ago
• thass0 / spray
  A x86_64 Linux debugger 🐛🐛🐛
  ☆237Updated last year
• c0stya / trre
  Transductive regular expressions
  ☆251Updated 3 months ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• kelas / ooj
  the origins of J
  ☆63Updated 2 years ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆133Updated last week
• skullchap / neverflow
  Set of macros that guard against buffer overflows. Based on C99 VLA feature.
  ☆129Updated 2 years ago
• meribold / btry
  Battery info program for x86-64 Linux laptops in 384 bytes of machine code
  ☆60Updated last year
• jeprinz / pantograph
  ☆93Updated 6 months ago
• adisbladis / kakapo
  A Nix web bundler because why not
  ☆56Updated last year
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆155Updated last week
• hkoosha / bag
  Docker in 600 lines of bash using proot
  ☆16Updated 4 years ago
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆260Updated last year
• dillstead / elf_injector
  Injects code into an ELF file
  ☆51Updated 3 weeks ago
• ProfJski / FloatCompMandelbrot
  What impact does floating point precision have on Mandelbrot set calculations?
  ☆108Updated 2 years ago
• iczelia / qbdiff
  building and applying patches to binary files
  ☆74Updated 2 weeks ago
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆204Updated last year
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆96Updated last year