Similar repositories to pigworker/Frank:

• pigworker/Frank github similar
• gibiansky/IHaskell github similar
• edwinb/Eff github similar
• pigworker/shonky github similar
• ggreif/omega github similar
• RobertHarper/hott-notes github similar
• dysinger/agda-haskell-c-ffi-layer-cake github similar
• bitonic/tog github similar
• dolio/ww-fusion github similar
• larrytheliquid/uAgda github similar
• cmcl/frankjnr github similar
• sweirich/trellys github similar
• dorchard/effects-as-sessions github similar
• hazelgrove/hazelnut-dynamics-agda github similar
• np/names-for-free github similar
• pigworker/Saturday github similar
• david-christiansen/epigram1 github similar
• spire/spire github similar
• bobatkey/foveran github similar
• ekmett/thrists github similar
• astump/cedille-core github similar
• Lapin0t/induction-recursion github similar
• LightAndLight/stg-llvm github similar
• pcapriotti/pipes-core github similar
• effectfully/Cubes github similar
• 23Skidoo/popl13-papers-links github similar
• elpinal/focused-modules github similar
• agda/agda-assoc-free github similar
• shayan-najd/HsAST github similar
• bobatkey/system-f-parametricity-model github similar
• thoughtpolice/asc github similar
• madgen/exalog github similar
• ToTal/total github similar
• sdiehl/haskell-linenoise github similar
• effectfully/Eff github similar
• shayan-najd/Haskell-Desugar github similar
• alphaHeavy/llvm-general-typed github similar
• Softsapiens/mini-complete-servant github similar
• quchen/stackalone github similar
• ahmadsalim/well-typed-agda-interpreter github similar