Similar repositories to SIGPLAN/future-events:

• SIGPLAN/future-events github similar
• bibimbap-io/bibimbap github similar
• gallais/aGdaREP github similar
• gallais/potpourri github similar
• ghulette/haskell-parser-examples github similar
• david-christiansen/epigram1 github similar
• pedagand/typechecker-evolution github similar
• sstucki/system-f-agda github similar
• InitialTypes/Club github similar
• jonleivent/mindless-coding github similar
• jsiek/B629-denotational github similar
• alhassy/next-700-module-systems github similar
• lexi-lambda/higher-rank github similar
• jonsterling/JonPRL github similar
• joom/hezarfen github similar
• yawaramin/scala-modules github similar
• gasche/icfp2016-papers github similar
• copumpkin/categories github similar
• RedPRL/sml-redprl github similar
• ucsd-progsys/elsa github similar
• idris-hackers/idris-mode github similar
• mattam82/Coq-Equations github similar
• tweag/capability github similar
• microsoft/SLAyer github similar
• cucapra/calyx github similar
• nick8325/quickspec github similar
• ziman/lightyear github similar
• pigworker/CS410-17 github similar
• haskell-tools/haskell-tools github similar
• mietek/sf github similar
• liamoc/learn-you-an-agda github similar
• usethesource/rascal github similar
• theam/haskell-do github similar
• HoTT/HoTT-Agda github similar
• PrincetonUniversity/VST github similar
• conal/concat github similar
• compiling-to-categories/concat github similar
• AndrasKovacs/smalltt github similar
• sweirich/pi-forall github similar
• cvc5/cvc5 github similar