tsoding / NoqLinks
Simple expression transformer that is not Coq.
☆263Updated 2 years ago
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 Programming Language that compiles to BEAM bytecode☆71Updated last year
- An attempt to implement breakout in Zig☆64Updated 2 years ago
- JIT Compiler for Brainfuck☆175Updated last year
- Local Search Engine☆261Updated last year
- Simple compiler ecosystem☆215Updated 4 years ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆44Updated last year
- A hobby programming language☆51Updated last week
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆43Updated 2 years ago
- Language tooling for the Lox programming language.☆343Updated 4 months ago
- SmoothLife Implementation in C☆76Updated 2 years ago
- A programming language that's wise beyond its bytes!🌱🌿🪴☆530Updated 5 months ago
- JVM in Python that can only run "Hello, World"☆161Updated 2 years ago
- ☆37Updated 2 years ago
- Bloat-Free Browser Game in Rust (rustc-only challenge)☆42Updated 4 years ago
- Simple Turn-based Game☆418Updated last year
- Generate random messages based on their BNF definition☆100Updated 4 months ago
- An experimental programming language☆79Updated this week
- Support Tsoding☆77Updated 11 months ago
- Rust that is actually Fun☆315Updated 2 weeks ago
- Native language with Rust & LLVM☆73Updated 2 years ago
- A rust implementation of the lox language☆115Updated last year
- Unofficial Implementation of Subset of Raylib API in JavaScript☆184Updated 6 months ago
- Tic-Tac-Toe in Fortran with Raylib☆60Updated 2 years ago
- Compiler for the B Programming Language implemented in Crust☆652Updated last month
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆68Updated last year
- It's 2mpeg4yuv☆42Updated 3 months ago
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆96Updated 3 months ago
- A series of down-to-earth articles on implementing type inference☆163Updated 5 years ago
- Shard: a functional flavoured imperative language☆37Updated last month