Similar repositories to 5HT/valery:
5HT/valery
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
gibiansky/IHaskell
github
similar
forked-from-1kasper/tt
github
similar
aquynh/capstone
github
similar
aatxe/diet-coke
github
similar
leanprover-community/vscode-lean4
github
similar
tuvtran/project-based-learning
github
similar
prathyvsh/history-of-lambda-calculus
github
similar
Zekt/Type-Embellishment
github
similar
sabauma/agda-relation-algebra
github
similar
robrix/seq
github
similar
groupoid/agda
github
similar
5HT/DependentLinearPi
github
similar
Kha/semantics-lean
github
similar
bobatkey/polly
github
similar
jonsterling/lecture-notes
github
similar
groupoid/languages
github
similar
Soonad/Formality-Agda
github
similar
spicydonuts/purescript-spectacle-presentation
github
similar
lambdageek/emile
github
similar
LightAndLight/bide
github
similar
ollef/incrementalism
github
similar
tynril/torus-flock
github
similar
andrejtokarcik/agda-semantics
github
similar
ancientlanguage/agda-grammar
github
similar
discus-lang/salt-vscode
github
similar
LightAndLight/como
github
similar
plt-hokusai/ahc
github
similar
jsmaniac/scribble-math
github
similar
Twey/agda-imp
github
similar
baberrehman/coq-duotyping
github
similar
tiatomee/toml-idr
github
similar
bitmappergit/Prelude
github
similar
tootsuite/mastodon
github
similar
postalhq/postal
github
similar
blockstack/stacks
github
similar
Eugeny/terminus
github
similar
ubuntu/microk8s
github
similar