Geralt's repositories
Language:JavaScript000
Language:JavaScript000
Language:Python000
Language:Python000
Language:C#000
Language:HTML000
Language:JavaScript000
000
awesome-wpo
:pencil: A curated list of Web Performance Optimization. Everyone can contribute here!
MIT000
eopl3
Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
NOASSERTION000
snarkVM
A Virtual Machine for Zero-Knowledge Executions
GPL-3.0000
aleo-setup
A Setup Ceremony for Universal SNARKs
000
awesome-aleo
🏎️ A curated list of Aleo & Leo code and resources 🏎️
000
ARCs
Aleo Request for Comments (ARCs)
Apache-2.0000
data
An index of all open-source data
NOASSERTION000
DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
000
aleo-education
Aleo Education
000
WPopup
一个简单使用并且高度定制的Popupwindow。超简单实现朋友圈点赞效果,并且只用一个WPopup!完全不用担心复用问题!点击切换动画效果等!
Apache-2.0000
GPL-3.0000