tsoding / NoqLinks
Simple expression transformer that is not Coq.
☆261Updated last year
Alternatives and similar repositories for Noq
Users that are interested in Noq are comparing it to the libraries listed below
Sorting:
- Turing Language☆199Updated 10 months ago
- Local Search Engine☆254Updated 10 months ago
- Simple compiler ecosystem☆202Updated 3 years ago
- SmoothLife Implementation in C☆73Updated last year
- JIT Compiler for Brainfuck☆170Updated last year
- An attempt to implement breakout in Zig☆60Updated last year
- Simple Programming Language that compiles to BEAM bytecode☆70Updated last year
- A simple demo of using SIMD instructions and Raylib in fasm☆96Updated last year
- Tic-Tac-Toe in Fortran with Raylib☆59Updated last year
- Simple Turn-based Game☆373Updated last year
- Simple Multi-User Chat☆177Updated 10 months ago
- Bloat-Free Browser Game in Rust (rustc-only challenge)☆42Updated 4 years ago
- Unofficial Implementation of Subset of Raylib API in JavaScript☆178Updated last month
- std replacement for C++☆168Updated 6 months ago
- Byte Pair Encoding☆80Updated 2 months ago
- Snake written in Pure C and compilable to WebAssembly☆149Updated last year
- ☆115Updated 2 months ago
- Compiler for the B Programming Language implemented in Crust☆348Updated this week
- Simple stb-style header-only library for Neural Networks☆375Updated last year
- Rust that is actually Fun☆241Updated last month
- ☆39Updated last year
- Simple Header-Only Implementation of Glob Matching☆55Updated last year
- ☆38Updated 3 years ago
- Structured Human-Readable Binary Format☆59Updated 3 months ago
- Universal Behavior Testing Tool in Python.☆55Updated last year
- An experimental programming language☆61Updated this week
- Language tooling for the Lox programming language.☆313Updated 4 months ago
- Command-line flag parsing in C☆177Updated 3 weeks ago
- FAQ☆163Updated 10 months ago
- JVM in Python that can only run "Hello, World"☆161Updated last year