A language toolchain for explicitly typed annotated Python. 🐍
☆70Oct 2, 2023Updated 2 years ago
Alternatives and similar repositories for monty
Users that are interested in monty are comparing it to the libraries listed below
Sorting:
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 4 years ago
- Vari (Väri) is a Rust library for formatting strings with colors and cosmetic stuff to the terminal.☆13Jan 15, 2022Updated 4 years ago
- A (mostly) drop-in replacement for Rust's Result that provides backtrace support.☆25Nov 7, 2025Updated 4 months ago
- Rust testing framework for compilers and VMs☆51Feb 24, 2025Updated last year
- Runtime with fast GC and easy concurrency.☆43Mar 24, 2021Updated 4 years ago
- Simple Python tool to convert ANSI color characters to HTML with colored style.☆14Oct 11, 2013Updated 12 years ago
- ☆16Oct 5, 2021Updated 4 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Jun 1, 2021Updated 4 years ago
- Mostly safe wrapper for alloca☆29Aug 3, 2023Updated 2 years ago
- A (very experimental) WebAssembly backend for Cranelift.☆15Aug 5, 2022Updated 3 years ago
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆20Apr 17, 2020Updated 5 years ago
- Garbage collector library☆24Feb 27, 2022Updated 4 years ago
- Fixing static analysis violations in Java source code using Datalog☆17Sep 20, 2022Updated 3 years ago
- Experimental JIT/AOT for Python☆15Jul 17, 2021Updated 4 years ago
- An experimental RVSDG optimizer for brainfuck code☆24May 18, 2022Updated 3 years ago
- A toy programming language in rust☆63Oct 25, 2025Updated 4 months ago
- A port of the Rust regex library to python for super speed linear matching.☆19Feb 3, 2023Updated 3 years ago
- Watch for file changes and auto restart an application using fork checkpoints to continue the process (for quick live development)☆13Dec 30, 2021Updated 4 years ago
- ☆25Feb 28, 2022Updated 4 years ago
- A Small C Compiler for old MiniVM (does not work with modern minivm)☆11Nov 19, 2023Updated 2 years ago
- A library for garbage collection in Rust.☆13Apr 23, 2021Updated 4 years ago
- Rust bindings to OpenGL 3.3☆13Mar 8, 2021Updated 5 years ago
- Serde serializer for generating Starlark build targets☆72Feb 16, 2026Updated last month
- Copy and Paste standard library (CPSTL) is a repository with a collection of data structure and algorithms in many different languages☆13Feb 15, 2025Updated last year
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago
- (WIP) A programming language☆42Jan 12, 2025Updated last year
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆53Updated this week
- Garbage collection for Rust inspired by CPython's gcmodule☆21May 30, 2025Updated 9 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆112Oct 26, 2023Updated 2 years ago
- A WIP little dependently-typed systems language☆41Aug 13, 2024Updated last year
- Zero overhead tracing garbage collection for rust (WIP)☆50Jun 30, 2024Updated last year
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆30Feb 21, 2020Updated 6 years ago
- In-memory x86-64 assembler for JIT compiler.☆78Apr 12, 2025Updated 11 months ago
- A fancy diagnostics & error reporting crate☆2,148Updated this week
- ☆38Dec 21, 2021Updated 4 years ago
- Mirror of https://gist.github.com/vurtun/75ee8b43773152930d89b7d1fdbe6450☆17Nov 26, 2019Updated 6 years ago
- An RCON implementation in Rust☆33Feb 3, 2025Updated last year
- The Mys programming language - an attempt to create a statically typed Python-like language that produces fast binaries. See https://mys-…☆132Oct 19, 2022Updated 3 years ago