briandfoy / excellent_numbersLinks
Compute excellent numbers
☆9Updated last year
Alternatives and similar repositories for excellent_numbers
Users that are interested in excellent_numbers are comparing it to the libraries listed below
Sorting:
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- A bytecode compiler for Python 3☆157Updated 4 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- Scripting with Least Privilege☆109Updated 8 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago
- X86_64 Linux webserver in assembler☆107Updated 10 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Structured shrinking of unknown file formats☆96Updated 8 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Updated 6 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- World's dumbest fuzzer☆52Updated last year
- pre-release.☆12Updated 10 years ago
- My implementations of deterministic and non-deterministic turing machines☆71Updated 2 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- An example of PEG usage☆55Updated 8 years ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- rcor C compiler (under development)☆115Updated 7 years ago
- x64 assembler solution to n-queens problem. Not tested for n!=8.☆62Updated 3 years ago
- Genetic BF programming☆59Updated 10 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- subset-of-C compiler targeting 32-bit x86☆115Updated 2 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- GL Wavefunction Visualizer☆46Updated 8 months ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆105Updated 3 weeks ago
- state machine visual debugger☆120Updated 10 years ago