tsoding / NoqLinks
Simple expression transformer that is not Coq.
☆263Updated 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☆207Updated last year
- Simple compiler ecosystem☆213Updated 4 years ago
- JIT Compiler for Brainfuck☆175Updated last year
- Simple Programming Language that compiles to BEAM bytecode☆72Updated last year
- Local Search Engine☆260Updated last year
- An attempt to implement breakout in Zig☆63Updated 2 years ago
- Compiler for the B Programming Language implemented in Crust☆624Updated 2 months ago
- Simple Turn-based Game☆412Updated last year
- Rust that is actually Fun☆293Updated 5 months ago
- JVM in Python that can only run "Hello, World"☆161Updated 2 years ago
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆43Updated 2 years ago
- A programming language that's wise beyond its bytes!🌱🌿🪴☆525Updated 4 months ago
- ☆37Updated 2 years ago
- Bloat-Free Browser Game in Rust (rustc-only challenge)☆42Updated 4 years ago
- SmoothLife Implementation in C☆76Updated 2 years ago
- Language tooling for the Lox programming language.☆337Updated 3 months ago
- Structured Human-Readable Binary Format☆63Updated 7 months ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆44Updated last year
- An experimental programming language☆73Updated 2 weeks ago
- Generate random messages based on their BNF definition☆98Updated 3 months ago
- FAQ☆175Updated last year
- Simple Header-Only Implementation of Glob Matching☆57Updated 2 years ago
- Guess a Number in Rust. Implemented to Prove that Game Development is feasible in Rust.☆40Updated last year
- Tic-Tac-Toe in Fortran with Raylib☆60Updated 2 years ago
- Unofficial Implementation of Subset of Raylib API in JavaScript☆184Updated 5 months ago
- A hobby programming language☆46Updated this week
- Conway's Game of Life implementation in C formatted as Glider☆52Updated last year
- ☆15Updated 2 years ago
- (WIP) A programming language☆42Updated 9 months ago
- Simple Console Reminder Application☆98Updated last week