238 Repositories
escoc-libs-legacy
9
diagonalize
9
Elementary-Affine-Net-legacy
8
agent-twitter-client
8
Formality-Net-legacy
7
VictorTaelin
6
run_solidity
6
OSX
6
OpenLegends
6
formality-document
6
ethereum-offline-signer
6
uwuchat2_demo
5
talks
5
OldFormality
5
Nasic-legacy
5
matmulfreellm
5
kaelin
5
idris-mergesort-benchmark
5
Free-Haskell-Books
5
coc-with-math-prims
5
uwuchat
4
Formality-Web-legacy
4
agda-cli
4
Vote
3
Treeduce
3
topics
3
ReflexScreenWidget
3
nano-sha256
3
nano-persistent-memoizer
3
media
3
Formality-to-Nasic-legacy
3
Formality-IO-legacy
3
EthFP
3
clifun
3
tsbook
2
Trabalho-IC-UFRJ-2
2
symmetric-interaction-calculus-benchmarks
2
shared-state-machine
2
NeoTaelin
2
MiniPapers
2
LambdaIO-Formality-Talk
2
Kind2
2
gpt
2
freeform-wpm-test
2
Formality-sugars-legacy
2
ethereum-rpc
2
ethereum-publisher-dapp
2
eth-web-tools
2
who-loves-voxels
1
Trabalho-IC-UFRJ
1