rustio rustio.net
33

mihama

v0.0.1 Experimental

A Modern Functional and Dependent Type Programming Language Base on Rust

GPL-3.0-or-later Edition 2021
#parser#functional#language#type-theory#dependent-type

Quick Verdict

  • !Pre-1.0: API may have breaking changes
  • โœ“Tiny footprint (487KB, 0 deps)

Security

Checking security advisories...
Downloads
753
Dependents
0
Releases
1
Size
487KB

Deep Insights

๐Ÿ“Š
Download activity

3 downloads in the last 30 days (0/day avg).

๐Ÿชถ
Zero dependencies

mihama has no external dependencies โ€” minimal supply chain risk and fast compile times.

Health Breakdown

Maintenance 3/25

Recency, release consistency, active ratio

Quality 14/25

Yanked ratio, deps, size, maturity, features

Community 3/20

Reverse deps, ownership, ecosystem

Popularity 3/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
0/day avg+0%
00.511.5212/291/162/32/213/113/28

Version Adoption

v0.0.1
100%

Release Timeline

1 releasessince 2025
J
F
M
A
M
J
J
A
S
O
N
D
2025
1
2026
Less
More

README

Loading README...

Maintainers

Dependencies
0
direct dependencies
Dependents
0
crates depend on mihama

Similar Crates