Alternatives and similar repositories for diggit:

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

• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 4 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• wayfarerdb / Dialogue
  An Actor-based framework for Lua
  ☆37Updated 8 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• airbnb / sssp
  Software distribution by way of S3 signed URLs
  ☆46Updated 12 years ago
• fxfactorial / brozip
  CLI to concurrently compress, decompress using Brotli algorithm
  ☆39Updated 5 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆76Updated 6 years ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆107Updated 5 years ago
• OlegMazurov / Koyaanisqatsi
  Chaotic Life
  ☆44Updated 7 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆58Updated 7 years ago
• odipar / spread
  SPREAD
  ☆19Updated 4 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆85Updated last year
• jtolio / sheepda
  A lambda calculus interpreter. GET IT?
  ☆81Updated 3 years ago
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 6 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• christiankissig / ocaml99
  99 Problems in OCaml
  ☆22Updated 9 years ago
• mirage / mirage-platform
  Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…
  ☆77Updated 4 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 years ago
• MichaelBVaughn / NoFAQ
  A web app that learns to repair your command line mistakes.
  ☆15Updated 8 years ago