crates.io
adrian-randa/otr
A dynamically typed programming language that doesn't use garbage collection.
MITAug 25, 2026 · metrics 2.10.0
All tags
Catalogue tag
#programming-language
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
66 records
crates.io
gianndev/mussel
The Mussel Programming Language
Apache-2.0Aug 21, 2026 · metrics 2.10.0
—
jgarciapueyo/stoc
The stoc programming language
No licenseAug 24, 2026 · metrics 2.10.0
crates.io
krishnarg04/OxyPy
Oxypy is a Python-inspired language that runs on a Rust-based interpreted environment.
Apache-2.0Aug 20, 2026 · metrics 2.10.0
—
leanprover/lean3
Lean Theorem Prover
Apache-2.0Jul 19, 2026 · metrics 2.10.0
crates.io
mewisme/mew-language
A cat-themed programming language with a runtime written in Rust
GPL-3.0Aug 17, 2026 · metrics 2.10.0