Sipher
Vitor Chiarelli . vitor.chiarelli@gmail.com . UwU Tech | Higher Order Company
Higher Order CompanyBrazil
Sipher's Stars
HigherOrderCO/Bend
A massively parallel, high-level programming language
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
HigherOrderCO/Kind1
A modern proof language
kindelia/Kindelia
An efficient, secure cryptocomputer
kindelia-archive/Kindelia
A minimal decentralized computer.
HigherOrderCO/Kindex
Collection of Kind2 programs and proofs
steinerkelvin/no-ip-updater
Python module to update No-IP DDNS entries.
racs4/hvm-visualizer
HVM debug visualizer