Similar repositories to bixuanzju/phd-thesis-artifact:

• qdwang/eopl github similar
• bixuanzju/phd-thesis-artifact github similar
• matt77hias/EOPL github similar
• rodrigogribeiro/tapl-redex github similar
• pnwamk/pldi16-artifact github similar
• scmlab/I-Love-Lean github similar
• jalpuim/disjoint-intersection-types github similar
• srfoster/dtc github similar
• poechsel/Fouine github similar
• jswalens/chocola-redex github similar
• pnwamk/tr-calc github similar
• mb64/idris2-extras github similar
• Saizan/hottest-talk github similar
• typedclojure/esop16 github similar
• GavinMendelGleason/Cocktail github similar
• chebert/software-design-for-flexibility github similar
• gernst/korn github similar
• dramforever/clash-with-stack github similar
• pdarragh/variadic-curry-calculus github similar
• gliboc/cast-machine github similar
• jclark/semtype github similar
• wilbowma/experimenting-with-redex github similar
• yzyzsun/truffle-erlang github similar
• seanhinde/rebar3_caramel github similar
• pnwamk/sst-tutorial github similar
• typetools/checker-framework-inference github similar
• fluffynukeit/scbt github similar
• rizo/ocaml-by-example github similar
• kshramt/sicp github similar
• julianhyde/morel github similar
• brownplt/Resugarer github similar
• stchang/typed-rosette github similar
• JimmyZJX/TypingFormalization github similar
• michallepicki/suber github similar
• border-patrol/lightclick github similar
• RedPRL/agda-mugen github similar
• JoeyEremondi/GDTL-artifact github similar
• jonsterling/latex-dieudonne github similar
• waddlaw/TAPL github similar
• samskivert/bidir-scala github similar