tsoding / Noq
Simple expression transformer that is not Coq.
☆253Updated last year
Alternatives and similar repositories for Noq:
Users that are interested in Noq are comparing it to the libraries listed below
- Turing Language☆178Updated 5 months ago
- Simple compiler ecosystem☆178Updated 3 years ago
- Local Search Engine☆250Updated 5 months ago
- An attempt to implement breakout in Zig☆56Updated last year
- Simple Programming Language that compiles to BEAM bytecode☆70Updated 11 months ago
- JIT Compiler for Brainfuck☆150Updated 9 months ago
- Simple Turn-based Game☆353Updated 7 months ago
- A simple demo of using SIMD instructions and Raylib in fasm☆95Updated 11 months ago
- Bloat-Free Browser Game in Rust (rustc-only challenge)☆41Updated 3 years ago
- ☆38Updated last year
- JVM in Python that can only run "Hello, World"☆159Updated last year
- Unofficial Implementation of Subset of Raylib API in JavaScript☆169Updated 5 months ago
- Simple Multi-User Chat☆169Updated 5 months ago
- SmoothLife Implementation in C☆71Updated last year
- Guess a Number in Rust. Implemented to Prove that Game Development is feasible in Rust.☆41Updated last year
- Conway's Game of Life implementation in C formatted as Glider☆50Updated 7 months ago
- Here I keep some thoughts that I always wanted to write down somewhere, but never knew where.☆79Updated 7 months ago
- Tic-Tac-Toe in Fortran with Raylib☆57Updated last year
- ☆38Updated 3 years ago
- Structured Human-Readable Binary Format☆53Updated 7 months ago
- Generate random messages based on their BNF definition☆47Updated 2 years ago
- FAQ☆146Updated 5 months ago
- Next generation of the NoBuild idea☆305Updated last month
- Statically typed programming language☆84Updated last month
- Universal Behavior Testing Tool in Python.☆51Updated 6 months ago
- Simple Header-Only Implementation of Glob Matching☆53Updated last year
- Header only library for writing build recipes in C.☆591Updated last year
- Immediate Mode JSON Serialization Library in C☆96Updated 7 months ago