A language toolchain for explicitly typed annotated Python. 🐍
☆70Oct 2, 2023Updated 3 years ago
Alternatives and similar repositories for monty
Users that are interested in monty are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 5 years ago
- Vari (Väri) is a Rust library for formatting strings with colors and cosmetic stuff to the terminal.☆14Jan 15, 2022Updated 4 years ago
- Runtime with fast GC and easy concurrency.☆43Mar 24, 2021Updated 5 years ago
- Rust testing framework for compilers and VMs☆50Feb 24, 2025Updated last year
- Safely transmute type to itself in generic context in Rust☆15Jan 15, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆16Oct 5, 2021Updated 5 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 5 years ago
- 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
- Mostly safe wrapper for alloca☆31Aug 3, 2023Updated 3 years ago
- A (very experimental) WebAssembly backend for Cranelift.☆15Aug 5, 2022Updated 4 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…☆21Apr 17, 2020Updated 6 years ago
- A library for garbage collection in Rust.☆13Apr 23, 2021Updated 5 years ago
- Garbage collector library☆23Feb 27, 2022Updated 4 years ago
- An experimental RVSDG optimizer for brainfuck code☆24May 18, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A toy programming language in rust☆63Oct 25, 2025Updated 11 months ago
- Watch for file changes and auto restart an application using fork checkpoints to continue the process (for quick live development)☆14Dec 30, 2021Updated 4 years ago
- A port of the Rust regex library to python for super speed linear matching.☆19Feb 3, 2023Updated 3 years ago
- A Monolinux distro for Raspberry Pi 3!☆15Mar 25, 2020Updated 6 years ago
- Simple command-line tool for macOS that encodes videos in a format suitable for publishing to Mastodon☆17Dec 24, 2022Updated 3 years ago
- An eXample Programming Language☆11Dec 20, 2018Updated 7 years ago
- A Small C Compiler for old MiniVM (does not work with modern minivm)☆11Nov 19, 2023Updated 2 years ago
- [WIP] Compiler for the Limonite programming language.☆16Jul 7, 2022Updated 4 years ago
- Serde serializer for generating Starlark build targets☆72Jun 24, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A small wrapper around wgpu to make some things simpler☆15Dec 7, 2023Updated 2 years ago
- A Discord bot for the Community Rust Language server, written in Python.☆18Jul 20, 2023Updated 3 years ago
- Go runtime implementation in Java☆19Oct 21, 2020Updated 5 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated 2 years ago
- (WIP) A programming language☆42Jan 12, 2025Updated last year
- A fast mpmc queue with broadcast capabilities. Known as multiqueue too.☆60Aug 30, 2025Updated last year
- Garbage collection for Rust inspired by CPython's gcmodule☆22May 30, 2025Updated last year
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆53May 25, 2026Updated 4 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆114Oct 26, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A WIP little dependently-typed systems language☆42Aug 13, 2024Updated 2 years ago
- In-memory x86-64 assembler for JIT compiler.☆79Sep 20, 2026Updated 3 weeks ago
- JIT compiler and runtime for a toy language, using Cranelift☆766Sep 22, 2026Updated 3 weeks ago
- Zero overhead tracing garbage collection for rust (WIP)☆49Jun 30, 2024Updated 2 years ago
- [Ariadne has moved to Codeberg!] A fancy diagnostics & error reporting crate☆2,155Mar 23, 2026Updated 6 months ago
- The Vist programming language☆14Feb 21, 2017Updated 9 years ago
- The Mys programming language - an attempt to create a statically typed Python-like language that produces fast binaries. See https://mys-…☆130Oct 19, 2022Updated 3 years ago