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☆205Updated last year
- An attempt to implement breakout in Zig☆62Updated last year
- JIT Compiler for Brainfuck☆174Updated last year
- Simple Programming Language that compiles to BEAM bytecode☆72Updated last year
- Simple compiler ecosystem☆209Updated 4 years ago
- Local Search Engine☆258Updated last year
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆44Updated last year
- SmoothLife Implementation in C☆76Updated 2 years ago
- ☆13Updated 3 years ago
- Rust that is actually Fun☆285Updated 4 months ago
- JVM in Python that can only run "Hello, World"☆161Updated 2 years ago
- ☆37Updated last year
- An experimental programming language☆73Updated this week
- Language tooling for the Lox programming language.☆330Updated last month
- 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
- A programming language that's wise beyond its bytes!🌱🌿🪴☆521Updated 3 months ago
- A hobby programming language☆45Updated this week
- A simple demo of using SIMD instructions and Raylib in fasm☆96Updated last year
- Statically typed programming language☆98Updated 2 weeks ago
- Guess a Number in Rust. Implemented to Prove that Game Development is feasible in Rust.☆40Updated last year
- Structured Human-Readable Binary Format☆64Updated 6 months ago
- Compiler for the B Programming Language implemented in Crust☆616Updated 3 weeks ago
- Tic-Tac-Toe in Fortran with Raylib☆59Updated 2 years ago
- ☆15Updated 2 years ago
- ☆38Updated 3 years ago
- Simple Turn-based Game☆411Updated last year
- Simple Multi-User Chat☆182Updated last year
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67Updated last year
- Advent of Code 2020 in 25 Different Languages☆114Updated last year