Similar repositories to JonasHoefer/scoped-effects-agda:
JonasHoefer/scoped-effects-agda
github
similar
danistefanovic/build-your-own-x
github
similar
maxsnew/synthetic-domain-theory
github
similar
bracevac/muElm
github
similar
thautwarm/typed-jsonrpc
github
similar
JLimperg/msc-thesis-code
github
similar
bacam/handlers-in-ott
github
similar
PLT-zh/glossary-tools
github
similar
jsmaniac/scribble-math
github
similar
conal/Collaboration
github
similar
lsrcz/grisette
github
similar
pigworker/LEOG
github
similar
drym-org/qi
github
similar
shwestrick/smlfmt
github
similar
jackfirth/htdf
github
similar
fathyb/carbonyl
github
similar
gibiansky/IHaskell
github
similar
k6io/k6
github
similar
thautwarm/HMRowUnification.jl
github
similar
bedrocksystems/cpp2v
github
similar
heliaxdev/witch
github
similar
Syntacticlosure/eff
github
similar
raptazure/kweh
github
similar
JLimperg/well-founded-corecursion
github
similar
ice1000/anqur
github
similar
re-xyr/speff
github
similar
matijapretnar/millet
github
similar
exaloop/codon
github
similar
sjtug/rsync-sjtug
github
similar
DanBurton/haskell-src-meta
github
similar
leanprover-community/vscode-lean4
github
similar
banacorn/bs-vscode
github
similar
dannypsnl/typed-nanopass
github
similar
thautwarm/panpanneed
github
similar
mdeloof/statig
github
similar
ostera/serde.ml
github
similar
maxdore/csolver
github
similar
ice1000/arend-language-server
github
similar
groupoid/anders
github
similar
silvanshade/cool-tt
github
similar