GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ anoma
1 open source projects by anoma
[ Open user page on Github ]
1.
juvix
Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
✭ 301
haskell
Agda
Nix
common lisp
Roff
Idris
linear-types
juvix
1-1
of
1
user projects