Similar repositories to emilaxelsson/deep-shallow-edsl:

• emilaxelsson/deep-shallow-edsl github similar
• danistefanovic/build-your-own-x github similar
• jmars/Records github similar
• davnils/spoty github similar
• gallais/agdarky github similar
• plclub/lngen github similar
• gallais/type-scope-semantics github similar
• pigworker/SSGEP-DataData github similar
• emilaxelsson/syntactic github similar
• jpaykin/LNLHaskell github similar
• Feldspar/raw-feldspar github similar
• plclub/metalib github similar
• sweirich/replib github similar
• david-christiansen/epigram1 github similar
• scmu/foundations-harper github similar
• evertedsphere/sound-and-complete github similar
• atzeus/reflectionwithoutremorse github similar
• gallais/generic-syntax github similar
• rampion/constraint-unions github similar
• digama0/lean-type-theory github similar
• kosmikus/lhs2tex github similar
• fpco/weigh github similar
• ekmett/bound github similar
• judah/pier github similar
• NicolasT/kontiki github similar
• pbrisbin/vim-syntax-shakespeare github similar
• derekelkins/agda-vim github similar
• mchakravarty/BigPixel github similar
• Verizon/funnel github similar
• Gabriel439/Haskell-Foldl-Library github similar
• ocharles/engine.io github similar
• DeepSpec/InteractionTrees github similar
• jwiegley/gitlib github similar
• mstksg/auto github similar
• snowleopard/alga-paper github similar
• goldfirere/singletons github similar
• mattam82/Coq-Equations github similar
• the-lambda-church/coquille github similar
• whonore/Coqtail github similar
• LeventErkok/sbv github similar