2
Repos
2
Stars
0
Forks
2
Watchers
Repositories (2)
portal-uad
IRedDragonICY/portal-uad
Kotlin
Ahmad Dahlan University's unofficial portal in the form of an Android application
2
0
PraBorrow
IRedDragonICY/PraBorrow
Rust
A formally verified, high-performance distributed ownership system in Rust. Features Raft consensus, SMT-based invariant checking (Z3), and safety-critical lease management.
0
0