tsoding / NoqLinks
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
Sorting:
- Turing Language☆195Updated 10 months ago
- Local Search Engine☆254Updated 10 months ago
- Simple Programming Language that compiles to BEAM bytecode☆70Updated last year
- Unofficial Implementation of Subset of Raylib API in JavaScript☆178Updated 2 weeks ago
- JIT Compiler for Brainfuck☆170Updated last year
- A simple demo of using SIMD instructions and Raylib in fasm☆97Updated last year
- Simple stb-style header-only library for Neural Networks☆373Updated last year
- ☆39Updated last year
- Bloat-Free Browser Game in Rust (rustc-only challenge)☆42Updated 4 years ago
- An attempt to implement breakout in Zig☆60Updated last year
- SmoothLife Implementation in C☆73Updated last year
- Conway's Game of Life implementation in C formatted as Glider☆51Updated last year
- Compiler for the B Programming Language implemented in Crust☆201Updated this week
- Rust that is actually Fun☆190Updated 3 weeks ago
- Simple Turn-based Game☆370Updated last year
- Structured Human-Readable Binary Format☆58Updated 2 months ago
- Tic-Tac-Toe in Fortran with Raylib☆58Updated last year
- Simple Multi-User Chat☆176Updated 9 months ago
- Support Tsoding☆57Updated 5 months ago
- A hobby programming language☆41Updated this week
- Simple Header-Only Implementation of Glob Matching☆55Updated last year
- JVM in Python that can only run "Hello, World"☆161Updated last year
- Universal Behavior Testing Tool in Python.☆52Updated 11 months ago
- Rust hello world without stdlib (aarch64 linux)☆48Updated 2 months ago
- Here I keep some thoughts that I always wanted to write down somewhere, but never knew where.☆80Updated 11 months ago
- Not ed(1) text editor☆69Updated 2 years ago
- Byte Pair Encoding☆79Updated 2 months ago
- An experimental programming language☆58Updated this week
- This is the notes from a Hash Table in C stream.☆33Updated last year
- Simple compiler ecosystem☆201Updated 3 years ago