Similar repositories to OPLSS/participant-talks-2018:

• OPLSS/participant-talks-2018 github similar
• danistefanovic/build-your-own-x github similar
• juanbono/haskell-course github similar
• bollmann/tapl github similar
• MathiasVP/Alpha github similar
• hecrj/iced github similar
• meilisearch/MeiliSearch github similar
• hzafar/pfpl-in-racket github similar
• eyeKill/xv6 github similar
• egnchen/xv6 github similar
• pascutto/bfpp github similar
• barras/abstract-machines github similar
• emarzion/Linear-Logic-Proof-Assistant github similar
• jetho/Implementing-functional-languages github similar
• davidzhulijun/TAM github similar
• hzafar/pcf-interpreter github similar
• lpil/erlcaml github similar
• inkydragon/MicroML.jl github similar
• Suikaba/SelingerQuantumLambdaCalculus github similar
• ayberkt/sml-system-f github similar
• RedPRL/sml-cats github similar
• ayberkt/sml-system-t github similar
• kfl/webserver-functor github similar
• kseo/poly github similar
• scott-fleischman/agda-from-nothing-2017 github similar
• tonyfischetti/starlight github similar
• phadej/language-pts github similar
• jluningp/smlformat github similar
• OPLSS/oplss-notes-2017 github similar
• jameshaydon/idris-graphql github similar
• OPLSS/oplss-notes-2018 github similar
• rlepigre/pml github similar
• jwdinius/friedland-csd-solutions github similar
• MarkReedZ/mrcache github similar
• bollu/ward github similar
• Toxaris/pts github similar
• jameshaydon/smproc github similar
• dorchard/codo-notation github similar
• coq-community/semantics github similar
• hazelgrove/HZ github similar