Similar repositories to conal/paper-2021-language-derivatives:
conal/paper-2021-language-derivatives
github
similar
danistefanovic/build-your-own-x
github
similar
Eloston/ungoogled-chromium
github
similar
gibiansky/IHaskell
github
similar
andrejbauer/higher-rank-syntax
github
similar
bolt12/tymfgg-pearl
github
similar
tootsuite/mastodon
github
similar
SamuelSchlesinger/summer
github
similar
sweirich/lennart-lambda
github
similar
conal/linalg
github
similar
bobatkey/agda-metric-reals
github
similar
conal/talk-2021-can-tensor-programming-be-liberated
github
similar
wrengr/exact-combinatorics
github
similar
conal/agda-machines
github
similar
jonsterling/coq-domains
github
similar
julianhyde/morel
github
similar
effectfully/Generic
github
similar
conal/denotational-hardware
github
similar
AndrasKovacs/implicit-fun-elaboration
github
similar
Zekt/Type-Embellishment
github
similar
postalhq/postal
github
similar
k6io/k6
github
similar
inanna-malick/hgit
github
similar
shaunlebron/parinfer
github
similar
ecavallo/ptt
github
similar
alhassy/AgdaCheatSheet
github
similar
isovector/algebra-checkers
github
similar
gergoerdi/clash-compucolor2
github
similar
msp-strath/TypOS
github
similar
nachivpn/k
github
similar
AndrasKovacs/thesis
github
similar
flupe/generics
github
similar
plt-amy/agda-search
github
similar
ekmett/hkd
github
similar
RyanGlScott/eliminators
github
similar
AndrasKovacs/polynomial-model
github
similar
iand675/hs-opentelemetry
github
similar
frex-project/agda-fragment
github
similar
cmk/lawz
github
similar
well-typed/recover-rtti
github
similar