Similar repositories to CoqHott/coq-effects:
CoqHott/coq-effects
github
similar
ehildenb/homod
github
similar
jonsterling/sml-pronominal-ml
github
similar
cmcl/msci
github
similar
jirkamarsik/ling-eff
github
similar
jonsterling/ocaml-abt
github
similar
jonsterling/sml-spreads
github
similar
noamz/linlam-gos
github
similar
lucaspena/coinduction
github
similar
robinvd/rlang
github
similar
spicydonuts/purescript-spectacle-presentation
github
similar
lambdageek/emile
github
similar
ollef/incrementalism
github
similar
tynril/torus-flock
github
similar
andrejtokarcik/agda-semantics
github
similar
nachivpn/coherence
github
similar
discus-lang/salt-vscode
github
similar
LightAndLight/como
github
similar
hecrj/iced
github
similar
plt-hokusai/ahc
github
similar
Twey/agda-imp
github
similar
bitmappergit/Prelude
github
similar
boltlabs-inc/call-by
github
similar
asajeffrey/finite-dtypes
github
similar
kcsmnt0/proof-trees
github
similar
RichardMoot/Grail0
github
similar
pruvisto/TRS
github
similar
hazelgrove/artifact-popl17
github
similar
ancientlanguage/agda-grammar
github
similar
ratmice/json-pop
github
similar
yizhouzhang/olaf-coq
github
similar
tetrapharmakon/isbell-frames
github
similar
cutsea110/magma
github
similar
awodey/ritop
github
similar
jcreedcmu/lambda-maps
github
similar
joom/thesis-modal
github
similar
cocreature/pfpl-redex
github
similar
cipher1024/lambda-calc
github
similar
LightAndLight/idris-lambda-reflection
github
similar
hazelgrove/hazelnut-livelits-agda
github
similar