tsoding / Noq
Simple expression transformer that is not Coq.
☆259Updated last year
Alternatives and similar repositories for Noq:
Users that are interested in Noq are comparing it to the libraries listed below
- Turing Language☆194Updated 9 months ago
- Local Search Engine☆254Updated 9 months ago
- SmoothLife Implementation in C☆72Updated last year
- JIT Compiler for Brainfuck☆163Updated last year
- An attempt to implement breakout in Zig☆60Updated last year
- A simple demo of using SIMD instructions and Raylib in fasm☆97Updated last year
- Simple compiler ecosystem☆196Updated 3 years ago
- Bloat-Free Browser Game in Rust (rustc-only challenge)☆41Updated 3 years ago
- Simple Programming Language that compiles to BEAM bytecode☆70Updated last year
- Structured Human-Readable Binary Format☆58Updated last month
- Simple Turn-based Game☆370Updated 11 months ago
- Tic-Tac-Toe in Fortran with Raylib☆58Updated last year
- Byte Pair Encoding☆76Updated last month
- Programming Animation Engine☆86Updated 4 months ago
- FAQ☆161Updated 9 months ago
- JVM in Python that can only run "Hello, World"☆159Updated last year
- std replacement for C++☆164Updated 5 months ago
- Simple Multi-User Chat☆176Updated 9 months ago
- Not ed(1) text editor☆69Updated 2 years ago
- ☆38Updated last year
- Notes from Machine Learning in C session☆108Updated last year
- Simple Console Reminder Application☆83Updated 3 weeks ago
- Conway's Game of Life implementation in C formatted as Glider☆51Updated 11 months ago
- Simple Header-Only Implementation of Glob Matching☆55Updated last year
- Rendering Video in C with FFMpeg☆66Updated last year
- Snake written in Pure C and compilable to WebAssembly☆149Updated last year
- Simple Interactive Terminal Todo App in Rust☆119Updated last year
- Here I keep some thoughts that I always wanted to write down somewhere, but never knew where.☆81Updated 10 months ago
- A compiler collection I made :&☆202Updated 9 months ago
- Print an image in the terminal using the term 256 colors☆87Updated last year