Similar repositories to tmcdonell/embedded-pattern-matching:
tmcdonell/embedded-pattern-matching
github
similar
joheker93/aoc21
github
similar
pavpanchekha/complex-plotter
github
similar
plum-umd/oblivml
github
similar
thowsen/AOC-2021
github
similar
tweag/linear-constraints
github
similar
Barry-Jay/SF
github
similar
Abhiroop/okasaki
github
similar
TeamVoss/VossII
github
similar
xgrommx/agda-ecosystem
github
similar
blamario/grampa
github
similar
gallais/agda-sizedIO
github
similar
alhassy/AgdaCheatSheet
github
similar
ekmett/unboxed
github
similar
tfausak/witch
github
similar
NorfairKing/autodocodec
github
similar
lexi-lambda/eff
github
similar
ekmett/linear-logic
github
similar
matt-noonan/justified-containers
github
similar
incoherentsoftware/defect-process
github
similar
andrejbauer/coop
github
similar
haskell-perf/sequences
github
similar
haskell-spotlight/haskell-spotlight
github
similar
haskell/rfcs
github
similar
pkamenarsky/concur-replica
github
similar
suhailshergill/extensible-effects
github
similar
MaiaVictor/Cedille-Core
github
similar
haskell-effectful/effectful
github
similar
Daniel-Diaz/HaTeX
github
similar
martinescardo/HoTT-UF-Agda-Lecture-Notes
github
similar
goldfirere/thesis
github
similar
lexi-lambda/freer-simple
github
similar
tweag/capability
github
similar
melsman/mlkit
github
similar
dramforever/vscode-ghc-simple
github
similar
frank-lang/frank
github
similar
tweag/rules_haskell
github
similar
DSLsofMath/DSLsofMath
github
similar
isovector/thinking-with-types
github
similar
higherkindness/mu-haskell
github
similar