Alternatives and similar repositories for excellent_numbers:

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

• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 10 years ago
• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆20Updated 7 years ago
• fxfactorial / brozip
  CLI to concurrently compress, decompress using Brotli algorithm
  ☆39Updated 5 years ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 4 years ago
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 10 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 9 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆14Updated 4 years ago
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 4 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆107Updated 5 years ago
• regehr / compiler-crashes
  60 artisanal compiler crashes
  ☆39Updated 8 years ago
• diku-kmc / kleenexlang
  The Kleenex programming language
  ☆55Updated 5 months ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 2 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 7 years ago
• DeloitteHux-Old / cycy
  EPIC CUCUMBERS!
  ☆28Updated 7 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• regehr / const_time
  empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs
  ☆9Updated 9 years ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 6 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 years ago
• eevee / project-euler
  interesting solutions to project euler problems
  ☆84Updated 9 years ago
• incrediblesound / Graph-Reply
  A graph based REPL that saves to and loads from disk
  ☆44Updated 9 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago