Hirrolot / assert-algebraic
Asserting algebraic properties of C functions
☆10Updated this week
Related projects ⓘ
Alternatives and complementary repositories for assert-algebraic
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 2 weeks ago
- Portable high-level assembler with authentic C syntax☆22Updated 2 years ago
- Self-hosting C toolchain, from scratch☆14Updated 2 months ago
- Startle C Library☆18Updated 5 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Futspace is a voxel based graphics engine implemented in Futhark☆8Updated 4 years ago
- Combinators in C☆38Updated 12 years ago
- Boot2Now is a series of compilers in the form of bootable machine images☆17Updated last year
- A plugin framework for namespace macros in C/C++☆35Updated 10 years ago
- unrolled skip list library for C☆21Updated 5 years ago
- parser combinator and AST generator in c++17☆24Updated last year
- Minimal and fast regular expression library for C.☆18Updated 11 years ago
- ☆13Updated 3 years ago
- simple and efficient hashtable implementation for C, taken from musl's hsearch()☆20Updated last year
- Abusing the C99 preprocessor for meta-programming☆20Updated 6 years ago
- Tiny lisp, simple and embeddable scheme-like language☆26Updated 11 months ago
- Memory slices for C99☆47Updated this week
- A revival of the TREE-META compiler-compiler.☆12Updated 6 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated 7 months ago
- The most minimal C you can do real work in☆17Updated 2 years ago
- public-domain base64 implementation☆16Updated 2 years ago
- Dictionary implemented through a skiplist☆15Updated 10 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated 2 months ago
- Manfred von Thun's Programming Language Joy☆16Updated this week
- Lock-free memory allocator☆17Updated last year
- quick c☆34Updated 2 years ago
- example repo showing the debugging capabilities offered by Cosmopolitan Libc☆13Updated 2 years ago
- REPL for C preprocessor of C++17☆10Updated 9 months ago
- Personal branch of git://c9x.me/qbe.git☆36Updated 3 years ago