Similar repositories to wouter-swierstra/hbral:

• wouter-swierstra/hbral github similar
• conal/agda-play github similar
• sarahzrf/coq-depleted github similar
• gergoerdi/mod-arith github similar
• rubenpieters/Orthogonal-Pipes github similar
• cohomolo-gy/higher-categorical-logic github similar
• wjzz/Agda-reflection-for-semiring-solver github similar
• nmvdw/HITs-Examples github similar
• sebfisch/level-monad github similar
• danieljharvey/migratable github similar
• deech/cabal-build-programs github similar
• pepeiborra/ghc-check github similar
• oracle/aaosl-agda github similar
• dillonhuff/Folly github similar
• lynn/universal-lambda github similar
• oisdk/Using-Protocols-to-Build-a-very-Generic-Deque github similar
• futurice/haskell-aws-lambda-kleisli github similar
• AndrasKovacs/misc-stuff github similar
• brynbellomy/Funky github similar
• conal/calculating-compilers-agda github similar
• edwinb/Vars github similar
• edsko/stack2cabal github similar
• ekmett/bits github similar
• kazu-yamamoto/witty github similar
• robinheghan/collections-ng github similar
• ekmett/bad github similar
• gallais/thesis github similar
• bernstein/breakout github similar
• coot/zsh-haskell github similar
• mroman42/vitrea-prototype-1 github similar
• ekmett/streams github similar
• conal/convolution-paper github similar
• pigworker/Syrup github similar
• qfpl/propagator-examples github similar
• Lysxia/system-F github similar
• dalaing/little-languages github similar
• tweag/plutus-libs github similar
• gelisam/magic-typelevel-elem github similar
• bolt12/master-thesis github similar
• TomMD/entropy github similar