Alternatives and similar repositories for diggit

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

• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆324Updated 9 years ago
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 7 years ago
• wayfarerdb / Dialogue
  An Actor-based framework for Lua
  ☆37Updated 9 years ago
• antonmedv / ultra-tiny-compiler
  Ultra Tiny Compiler
  ☆184Updated 6 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆210Updated 5 years ago
• MichaelBVaughn / NoFAQ
  A web app that learns to repair your command line mistakes.
  ☆15Updated 9 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆136Updated 9 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 9 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆442Updated 3 years ago
• jeanqasaur / jeeves
  Python implementation of the Jeeves programming language.
  ☆338Updated 7 years ago
• sustrik / cartesian
  generator for complex configurations
  ☆99Updated 8 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 8 years ago
• OlegMazurov / Koyaanisqatsi
  Chaotic Life
  ☆44Updated 8 years ago
• bcbrock / obc-peer
  Blockchain fabric code
  ☆41Updated 9 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 5 years ago
• bamos / conference-tracker
  Minimal-maintenance conference tracker.
  ☆71Updated 8 years ago
• Dannyzen / openresearch
  Open Research is a framework that contains documents that aid in the practice of product and customer research
  ☆117Updated 9 years ago
• papers-we-love / zurich
  Papers We ❤️ Zurich
  ☆50Updated 2 weeks ago
• avodonosov / pocl
  Predictive Optimizing Code Loading
  ☆62Updated 10 years ago
• ral99 / knuckleball
  Data structure server.
  ☆181Updated 9 years ago
• incrediblesound / Graph-Reply
  A graph based REPL that saves to and loads from disk
  ☆44Updated 10 years ago
• capnproto / ekam
  Ekam Build System
  ☆234Updated 3 years ago
• yhat / ws
  A WebSocket cli tool.
  ☆44Updated 6 years ago
• gocircuit / escher
  Escher: A language for programming in metaphors http://escher.io
  ☆729Updated 5 years ago
• google / classp
  Classp -- a classier way to parse
  ☆169Updated 8 years ago
• r0nk / ward
  state machine visual debugger
  ☆121Updated 10 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆205Updated last year
• jiahao / backus-dijkstra-letters-1979
  Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…
  ☆110Updated 9 years ago
• janestreet / jenga
  Build system
  ☆89Updated 7 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago