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☆206Updated last year
- Simple Programming Language that compiles to BEAM bytecode☆72Updated last year
- JIT Compiler for Brainfuck☆174Updated last year
- Local Search Engine☆259Updated last year
- An attempt to implement breakout in Zig☆62Updated 2 years ago
- Simple compiler ecosystem☆211Updated 4 years ago
- Simple Turn-based Game☆412Updated last year
- An experimental programming language☆73Updated this week
- FAQ☆176Updated last year
- Compiler for the B Programming Language implemented in Crust☆619Updated last month
- JVM in Python that can only run "Hello, World"☆161Updated 2 years ago
- Generate random messages based on their BNF definition☆97Updated 2 months ago
- Rust that is actually Fun☆290Updated 5 months ago
- A simple demo of using SIMD instructions and Raylib in fasm☆96Updated last year
- SmoothLife Implementation in C☆76Updated 2 years ago
- Simple Multi-User Chat☆183Updated last year
- ☆37Updated last year
- A programming language that's wise beyond its bytes!🌱🌿🪴☆523Updated 3 months ago
- Unofficial Implementation of Subset of Raylib API in JavaScript☆184Updated 4 months ago
- Structured Human-Readable Binary Format☆63Updated 6 months ago
- Dramatic EDitor☆658Updated last year
- Advent of Code 2020 in 25 Different Languages☆114Updated last year
- ☆15Updated 2 years ago
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆43Updated 2 years ago
- Simple Header-Only Implementation of Glob Matching☆57Updated 2 years ago
- Bloat-Free Browser Game in Rust (rustc-only challenge)☆42Updated 4 years ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆44Updated last year
- Simple stb-style header-only library for Neural Networks☆387Updated 2 years ago
- Language tooling for the Lox programming language.☆335Updated 2 months ago
- Universal Behavior Testing Tool in Python.☆56Updated last year