Similar repositories to rampion/concrete-kinds:

• rampion/concrete-kinds github similar
• inanna-malick/hgit github similar
• pg94au/BlasterTS github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• GaloisInc/cryptol-verifier github similar
• gibiansky/IHaskell github similar
• plt-hokusai/ahc github similar
• Twey/agda-imp github similar
• Boarders/agda-pipes github similar
• jlavelle/spotify-related-graph github similar
• pepeiborra/same-same github similar
• ekmett/typed-keys github similar
• LightAndLight/idris-lambda-reflection github similar
• emilypi/yiss github similar
• bordaigorl/jamesbound github similar
• john-ml/lambda-calculus github similar
• tsani/typarsec github similar
• masaeedu/co-optics github similar
• LightAndLight/bide github similar
• Technius/simpl github similar
• tdietert/lambda-pi github similar
• jcpetruzza/generics-gadt github similar
• luke-clifton/generic-monoid github similar
• TOTBWF/agda-higher-categories github similar
• asajeffrey/finite-dtypes github similar
• neongreen/to github similar
• ChrisPenner/ffs github similar
• tdietert/pi-calculus github similar
• Ptival/language-coq github similar
• effectfully/proto-tt github similar
• Skyb0rg007/Optix github similar
• simonpj/triemap-paper github similar
• puffnfresh/lam github similar
• parsonsmatt/data-diff github similar
• SimonJF/session-type-checker github similar
• ChrisPenner/recursive-zipper github similar
• dpiponi/infinite-quine github similar
• ssbothwell/HowardLang github similar
• TheMatten/first-class-instances github similar