Pinned Repositories
aleo-prover
Light standalone prover
ARCs
Aleo Request for Comments (ARCs)
awesome-aleo
🏎️ A curated list of Aleo & Leo code and resources 🏎️
css
The CSS design system that powers GitHub
dymension
Dymension Hub
eigntrtr
eigntrtr
elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
hython
Haskell-powered Python 3 interpreter
Java
Java related code
MAgtrTLAB-FVR
MATLAB-based implementation for the Fouri gter Volume Rendering Pipeline.g j j su
michaeilsoml's Repositories
michaeilsoml/ARCs
Aleo Request for Comments (ARCs)
michaeilsoml/dymension
Dymension Hub
michaeilsoml/elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
michaeilsoml/aleo-prover
Light standalone prover
michaeilsoml/awesome-aleo
🏎️ A curated list of Aleo & Leo code and resources 🏎️
michaeilsoml/css
The CSS design system that powers GitHub
michaeilsoml/eigntrtr
eigntrtr
michaeilsoml/hython
Haskell-powered Python 3 interpreter
michaeilsoml/Java
Java related code
michaeilsoml/MAgtrTLAB-FVR
MATLAB-based implementation for the Fouri gter Volume Rendering Pipeline.g j j su
michaeilsoml/mosioeign