briandfoy / excellent_numbers

Related projects ⓘ

Alternatives and complementary repositories for excellent_numbers

• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 7 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 9 years ago
• regehr / compiler-crashes
  60 artisanal compiler crashes
  ☆39Updated 8 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 9 years ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆158Updated 4 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 9 years ago
• orlandohill / peg-left-recursion
  An idea to handle left-recursion in Parsing Expression Grammars (PEGs)
  ☆36Updated 14 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 6 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated 8 months ago
• crioux / turbo-linecount
  Superfast Line Counter
  ☆49Updated 3 years ago
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 4 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 8 years ago
• quchen / amoeba
  Amœba is a distributed network.
  ☆18Updated 10 years ago
• ssriram / j
  a small tool to quickly jump between directories
  ☆16Updated 4 months ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆135Updated 4 years ago
• c-cores / stdcore
  A library for standard containers and their associated algorithms.
  ☆12Updated 3 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆95Updated 7 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆68Updated 8 years ago
• WebDrake / GrSL
  GrSL - the GSL-based random Sampling Library
  ☆13Updated 13 years ago
• fmenozzi / kQuery
  A SQL interface to your Linux kernel
  ☆13Updated 8 years ago
• dylanmc / CryptoBook
  Learning Cryptography, math and programming with Cryptol (and maybe some Python)
  ☆93Updated 6 years ago