tsoding / Noq
Simple expression transformer that is not Coq.
☆258Updated last year
Alternatives and similar repositories for Noq:
Users that are interested in Noq are comparing it to the libraries listed below
- Turing Language☆183Updated 8 months ago
- JIT Compiler for Brainfuck☆160Updated last year
- An attempt to implement breakout in Zig☆58Updated last year
- Unofficial Implementation of Subset of Raylib API in JavaScript☆172Updated 8 months ago
- A simple demo of using SIMD instructions and Raylib in fasm☆97Updated last year
- Local Search Engine☆253Updated 8 months ago
- Simple Header-Only Implementation of Glob Matching☆55Updated last year
- Simple Programming Language that compiles to BEAM bytecode☆70Updated last year
- Byte Pair Encoding☆73Updated last week
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆43Updated 2 years ago
- Simple compiler ecosystem☆192Updated 3 years ago
- Structured Human-Readable Binary Format☆57Updated last month
- Tic-Tac-Toe in Fortran with Raylib☆58Updated last year
- ☆38Updated last year
- Simple Multi-User Chat☆172Updated 8 months ago
- SmoothLife Implementation in C☆71Updated last year
- Cont is a compiled statically-typed object oriented concatenative programming language written in Python☆18Updated 6 months ago
- Here I keep some thoughts that I always wanted to write down somewhere, but never knew where.☆81Updated 10 months ago
- ☆111Updated 2 weeks ago
- Conway's Game of Life implementation in C formatted as Glider☆51Updated 10 months ago
- Command-line flag parsing in C☆157Updated last month
- A hobby programming language☆38Updated this week
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆97Updated last week
- Universal Behavior Testing Tool in Python.☆51Updated 9 months ago
- Support Tsoding☆55Updated 3 months ago
- Native language with Rust & LLVM☆69Updated last year
- std replacement for C++☆160Updated 4 months ago
- Jai WebAssembly Proof-of-Concept☆74Updated 2 years ago
- A human readable quasi-concatenative programming language☆251Updated 2 months ago
- Bloat-Free Browser Game in Rust (rustc-only challenge)☆41Updated 3 years ago