Similar repositories to jozefg/miniprl:

• jozefg/miniprl github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• thsutton/cha github similar
• jonsterling/sml-logical-framework github similar
• RedPRL/sml-typed-abts github similar
• david-christiansen/pudding-old github similar
• andrejbauer/miniLCF github similar
• pixijs/pixi.js github similar
• jonsterling/JonPRL github similar
• neel-krishnaswami/linearml github similar
• bobatkey/sott github similar
• vrahli/NuprlInCoq github similar
• mortberg/yacctt github similar
• msp-strath/ZEUG github similar
• nbenton/coqdomains github similar
• nmvdw/Three-HITs github similar
• CHTT-s18/lecture-notes github similar
• tootsuite/mastodon github similar
• shaunlebron/parinfer github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• RedPRL/sml-dependent-lcf github similar
• pigworker/Samizdat github similar
• IanOrton/cubical-topos-experiments github similar
• mikeshulman/catlog github similar
• david-christiansen/epigram1 github similar
• andreasabel/helf github similar
• andreasabel/strong-normalization github similar
• dschepler/coq-sequent-calculus github similar
• ericfinster/opetopes-in-agda github similar
• gallais/generic-syntax github similar
• jozefg/blott github similar
• jonsterling/hs-abt github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• FrozenWinters/SbE github similar
• Saizan/cubical-demo github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• JohnReppy/compiling-pattern-guards github similar
• effectfully/OTT github similar