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:
- A bytecode compiler for Python 3☆157Updated 5 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago
- Structured shrinking of unknown file formats☆96Updated 8 years ago
- rcor C compiler (under development)☆115Updated 8 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Updated 6 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- My implementations of deterministic and non-deterministic turing machines☆71Updated 2 years ago
- Superfast Line Counter☆51Updated 4 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- World's dumbest fuzzer☆52Updated last year
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆105Updated last month
- Scripting with Least Privilege☆109Updated 8 years ago
- BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.☆116Updated last week
- Genetic BF programming☆60Updated 10 years ago
- Not because it is good, but because we can...☆167Updated 5 years ago
- Inline C/asm in Bash☆253Updated 8 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated 10 months ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- ☆151Updated 11 years ago
- X86_64 Linux webserver in assembler☆107Updated 10 years ago
- x86 (MS-DOS) documentation, disassembler and emulator - WIP☆308Updated 8 years ago
- GNU APL port to Android☆16Updated 10 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆179Updated 6 years ago
- Schrödinger's Tcl☆30Updated 10 years ago