Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Mamba

🐍 The Mamba programming language, because we care about safety
Stars
76
License
mit
Open Issues
29
Most Recent Commit
a year ago
Programming Language
Rust
Total Releases
11
Latest Release
January 21, 2023
Categories
Repo
Alternatives To Mamba
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Mamba76
a year ago11January 21, 202329mitRust
🐍 The Mamba programming language, because we care about safety
Pedantic Python Decorators22
4 months agoapache-2.0Python
Some useful decorators for any situation. Includes runtime type checking.
Kontroli Rs19
4 months ago1gpl-3.0Rust
Alternative implementation of the logical framework Dedukti in Rust
Safetify7npm safetify} Downloads15 years ago14February 19, 2019mitTypeScript
Value type safing utility
Alternatives To Mamba
Select To Compare
Safetify ⭐ 7
Value type safing utility
dependent packages 1total releases 14most recent commit 5 years agonpm safetify} Downloads


Suggest An Alternative To mamba
Alternative Project Comparisons
Mamba vs Pedantic Python Decorators
Mamba vs Kontroli Rs
Mamba vs Safetify
Popular Type Safety Projects
Ts Toolbelt ⭐ 6,011
👷 TypeScript's largest type utility library
dependent packages 973total releases 928latest release March 10, 2021most recent commit a year agonpm ts-toolbelt} Downloads
Slonik ⭐ 4,154
A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
dependent packages 88total releases 340latest release October 31, 2023most recent commit 6 months agonpm slonik} Downloads
Returns ⭐ 3,083
Make your functions return something meaningful, typed, and safe!
dependent packages 58total releases 23latest release August 26, 2023most recent commit 3 months agopypi returns} Downloads
Pgtyped ⭐ 2,700
pgTyped - Typesafe SQL in TypeScript
dependent packages 7total releases 33latest release October 07, 2023most recent commit 3 months agonpm @pgtyped/wire} Downloads
Hegel ⭐ 2,087
An advanced static type checker
dependent packages 4total releases 42latest release June 10, 2020most recent commit 6 months agonpm @hegel/cli} Downloads
Popular Typechecker Projects
Typescript ⭐ 97,675
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
dependent packages 559,981total releases 2,904latest release December 09, 2023most recent commit 16 days agonpm typescript} Downloads
Mypy ⭐ 17,070
Optional static typing for Python
dependent packages 6,707total releases 112latest release November 23, 2023most recent commit 3 months agopypi mypy} Downloads
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months agopypi pyre-check} Downloads
Pytype ⭐ 4,464
A static type analyzer for Python code
dependent packages 107total releases 193latest release December 08, 2023most recent commit 3 months agopypi pytype} Downloads
Ezno ⭐ 1,994
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
dependent packages 3total releases 10latest release November 20, 2023most recent commit 3 months agocargo ezno-parser} Downloads
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Related Searches
Python Language
Python Types
Rust Language
Python Rust
Rust Types
Types Language
Types Type Safety

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Rust
Types
Language
Type Safety
Typechecker
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.