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☆204Updated last year
- JIT Compiler for Brainfuck☆173Updated last year
- An attempt to implement breakout in Zig☆62Updated last year
- Simple Programming Language that compiles to BEAM bytecode☆71Updated last year
- Simple compiler ecosystem☆206Updated 4 years ago
- Rust that is actually Fun☆278Updated 3 months ago
- JVM in Python that can only run "Hello, World"☆161Updated 2 years ago
- Local Search Engine☆258Updated last year
- Language tooling for the Lox programming language.☆325Updated last month
- Simple Turn-based Game☆377Updated last year
- SmoothLife Implementation in C☆75Updated 2 years ago
- Advent of Code 2020 in 25 Different Languages☆114Updated last year
- ☆38Updated last year
- FAQ☆169Updated last year
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆44Updated last year
- Compiler for the B Programming Language implemented in Crust☆602Updated last week
- A programming language that's wise beyond its bytes!🌱🌿🪴☆519Updated 2 months ago
- Shard: a pragmatic programming language☆37Updated this week
- ☆15Updated 2 years ago
- Statically typed programming language☆96Updated last week
- Tic-Tac-Toe in Fortran with Raylib☆59Updated 2 years ago
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆44Updated 2 years ago
- Bloat-Free Browser Game in Rust (rustc-only challenge)☆42Updated 4 years ago
- Guess a Number in Rust. Implemented to Prove that Game Development is feasible in Rust.☆40Updated last year
- Byte Pair Encoding☆84Updated 4 months ago
- Simple Multi-User Chat☆182Updated last year
- Support Tsoding☆70Updated 8 months ago
- Generate random messages based on their BNF definition☆95Updated last month
- Native language with Rust & LLVM☆71Updated last year
- A simple demo of using SIMD instructions and Raylib in fasm☆96Updated last year