Similar repositories to plt-amy/mld:
plt-hokusai/mld
github
similar
tewe/uroboro
github
similar
hecrj/iced
github
similar
plt-hokusai/ahc
github
similar
anoma/juvix-archived
github
similar
wilbowma/infernalize
github
similar
kosmikus/hkd-sop
github
similar
jonsterling/lecture-notes
github
similar
LightAndLight/biscope
github
similar
trommler/VeriGHC
github
similar
JakobeBussey/StoneSpaces1130
github
similar
inanna-malick/hgit
github
similar
plt-amy/mld
github
similar
hzelenka/idris-proofs
github
similar
Lapin0t/induction-recursion
github
similar
konn/vscode-redtt-diagnostics
github
similar
aronisstav/formal-trace-theory
github
similar
wenkokke/nodcap
github
similar
DmxLarchey/ite-normalisation
github
similar
larrytheliquid/zero-cost-coercions
github
similar
JasonGross/lob-paper
github
similar
uelis/contextual
github
similar
eupp/LatticeKanren
github
similar
nikita-volkov/messageless
github
similar
LightAndLight/lang
github
similar
dckc/togl
github
similar
AHartNtkn/Kitmit
github
similar
larrytheliquid/generic-reuse
github
similar
ayberkt/Mini-TT
github
similar
andreasabel/continuous-normalization
github
similar
HuStmpHrrr/agda-categories-1
github
similar
groupoid/anders
github
similar
uelis/IntML
github
similar
pigworker/Gigs-Summer-2018
github
similar
meta-logic/coq-ll
github
similar
fsestini/tt-in-cubical
github
similar
ayberkt/simplc
github
similar
yurrriq/parser-combinators
github
similar
bkase/abstraction
github
similar
TinkerTravel/purescript-config
github
similar