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
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 9 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 4 years ago
• fxfactorial / brozip
  CLI to concurrently compress, decompress using Brotli algorithm
  ☆39Updated 5 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 9 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 4 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• regehr / compiler-crashes
  60 artisanal compiler crashes
  ☆39Updated 8 years ago
• MichaelRFairhurst / wake-compiler
  C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.
  ☆55Updated 9 years ago
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆14Updated 4 years ago
• bl0ckeduser / new-bpf-tools
  subset-of-C compiler targeting 32-bit x86
  ☆115Updated 2 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 10 years ago
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 10 years ago
• incrediblesound / Graph-Reply
  A graph based REPL that saves to and loads from disk
  ☆44Updated 9 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• WebDrake / GrSL
  GrSL - the GSL-based random Sampling Library
  ☆13Updated 13 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• ehud / MIU
  MIU from GEB, circa 1980
  ☆16Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• wbhart / Cesium3
  Fast interpreter with macros, local type inference, LLVM backend.
  ☆163Updated 6 years ago