🐍 The Mamba programming language, because we care about safety
☆90Oct 3, 2026Updated last month
Alternatives and similar repositories for mamba
Users that are interested in mamba are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [ICML 2021] A fast algorithm for fitting robust decision trees. http://proceedings.mlr.press/v139/vos21a.html☆23Feb 15, 2024Updated 2 years ago
- Datacenter simulation toolkit for the OpenDC project☆10Aug 24, 2020Updated 6 years ago
- A statically-typed compiled language defined by a simple grammar☆24Oct 13, 2026Updated 3 weeks ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- Jazz - modern and fast programming language.☆95Jun 17, 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.
- ⬇ Count the number of words in a Markdown file excluding special elements☆40Apr 15, 2024Updated 2 years ago
- A depth-aware secure computation compiler☆18Jun 7, 2025Updated last year
- A lightweight, elegant scripting language with built-in Rust-FFI.☆166Nov 1, 2019Updated 7 years ago
- The functional programming language for scalable development☆34Jan 5, 2025Updated last year
- 🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context☆17May 3, 2024Updated 2 years ago
- A programming language for the modern world.☆42Aug 25, 2019Updated 7 years ago
- failure + error-chain = 💖☆53Dec 13, 2025Updated 10 months ago
- A syn targetting PEG parser generator☆20Jun 11, 2023Updated 3 years ago
- A demand-driven compiler with strong IDE support☆194Jun 6, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- You've met with a terrible fate, haven't you?☆62Apr 12, 2019Updated 7 years ago
- Hindley Milner Type Inference in Rust☆11Oct 4, 2017Updated 9 years ago
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61May 12, 2022Updated 4 years ago
- A language for data modeling and incremental computing of derived values☆11May 7, 2024Updated 2 years ago
- Rust web server boilerplate with tide☆46Mar 3, 2022Updated 4 years ago
- A simple JIT library in Rust☆18Dec 7, 2014Updated 11 years ago
- Runs some basic tests on your custom admin objects.☆14Jun 19, 2024Updated 2 years ago
- Simple yet powerful programming language. Work in progress.☆22Updated this week
- Collaborative Datacenter Simulation and Exploration for Everybody☆130Updated this week
- 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.
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- Interpreted language and bytecode VM of my own design written in Rust [Unmaintained]☆29May 19, 2019Updated 7 years ago
- A Gradle plugin to download & run the official dart-sass release with Gradle☆10Dec 3, 2020Updated 5 years ago
- Installer for various Rust reimaginations of coreutils. These are not drop-in replacements.☆93Jun 21, 2023Updated 3 years ago
- A me maintained zub-vm fork. A super-fast, stack-based virtual machine for dynamic languages☆12Oct 7, 2026Updated 3 weeks ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-tour☆15Oct 18, 2026Updated 2 weeks ago
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆39Jun 24, 2026Updated 4 months ago
- deserialize typed structures from regex captures☆175Dec 28, 2023Updated 2 years ago
- URL shortener available as library, microservice (even containerized), aws lambda, and azure function☆32Jun 14, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Generate pi in a ridiculous way using elastic collisions☆24Feb 15, 2021Updated 5 years ago
- CSHub☆30Dec 22, 2022Updated 3 years ago
- A binary grep written in Rust.☆128Aug 3, 2019Updated 7 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆100Sep 21, 2020Updated 6 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Feb 23, 2024Updated 2 years ago
- Adobe Flash / SWF preservation tools.☆79Feb 24, 2020Updated 6 years ago
- ☆13Apr 19, 2025Updated last year