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. 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
- Rust testing framework for compilers and VMs☆50Feb 24, 2025Updated last year
- ☆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.☆54Jun 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An experimental RVSDG optimizer for brainfuck code☆24May 18, 2022Updated 4 years 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
- A Small C Compiler for old MiniVM (does not work with modern minivm)☆11Nov 19, 2023Updated 2 years ago
- Serde serializer for generating Starlark build targets☆72Jun 24, 2026Updated 3 months ago
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- (WIP) A programming language☆42Jan 12, 2025Updated last year
- Garbage collection for Rust inspired by CPython's gcmodule☆21May 30, 2025Updated last year
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆54May 25, 2026Updated 3 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆114Oct 26, 2023Updated 2 years ago
- A WIP little dependently-typed systems language☆42Aug 13, 2024Updated 2 years ago
- Minecraft VarInt and VarLong implementation in Rust, providing minimum memory usage and maximum performance.☆10Nov 13, 2021Updated 4 years ago
- A modal text editor inspired by Vim, Neovim and others like it.☆45May 5, 2025Updated last year
- In-memory x86-64 assembler for JIT compiler.☆79Updated this week
- JIT compiler and runtime for a toy language, using Cranelift☆765Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Zero overhead tracing garbage collection for rust (WIP)☆50Jun 30, 2024Updated 2 years ago
- Python bindings for Comby☆13Nov 7, 2023Updated 2 years ago
- ☆38Dec 21, 2021Updated 4 years ago
- An RCON implementation in Rust☆34Feb 3, 2025Updated last year
- 🌵 A lisp REPL interpreter made in Haskell☆24Sep 13, 2019Updated 7 years ago
- AOT compiled object oriented programming language☆48Apr 2, 2024Updated 2 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
- Synthesis API Refactor☆12May 17, 2022Updated 4 years ago
- You rule, a memory scanner tool for Windows☆14Jan 20, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- String OS from User Space!☆11Jun 5, 2023Updated 3 years ago
- Language development libraries for Rust☆989Dec 9, 2024Updated last year
- A dataset of 200+ bugs in the Robot Operating System with Docker containers☆36Mar 9, 2024Updated 2 years ago
- A CLI to control device backlight☆10Aug 23, 2026Updated last month
- 🍓 A toy object-oriented programming language written by rust☆17Apr 10, 2024Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 5 years ago
- V wrapper around the C Java Native Interface☆29Apr 9, 2025Updated last year