Alternatives and similar repositories for comby-reducer:

Users that are interested in comby-reducer are comparing it to the libraries listed below

• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 6 months ago
• elfshaker / manyclangs
  Repository hosting unofficial binary pack files for many commits of LLVM
  ☆136Updated last year
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆66Updated 2 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 4 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆262Updated 3 weeks ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• trishume / gigatrace
  Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
  ☆68Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆58Updated 2 months ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆111Updated 5 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆62Updated 5 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆194Updated last year
• facebookarchive / propfuzz
  A Rust toolkit to combine property-based testing and fuzzing.
  ☆135Updated 2 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 5 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated last year
• cfallin / weval
  ☆172Updated 5 months ago
• goblint / cil
  C Intermediate Language
  ☆149Updated last week
• kspalaiologos / qbdiff
  building and applying patches to binary files
  ☆71Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 11 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 4 years ago
• rethab / awk-jvm
  a toy jvm in awk
  ☆164Updated 3 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago