Similar repositories to jasonhemann/dependently-typed-lang:

• jasonhemann/dependently-typed-lang github similar
• rmculpepper/malr github similar
• jasonhemann/constraint-microKanren github similar
• calvis/cKanren github similar
• samrushing/irken-compiler github similar
• Deducteam/lambdapi github similar
• QuickChick/QuickChick github similar
• dyoo/whalesong github similar
• antalsz/hs-to-coq github similar
• miniKanren/miniKanren github similar
• EgbertRijke/HoTT-Intro github similar
• joaomilho/awesome-idris github similar
• HoTT/HoTT-Agda github similar
• tchajed/coq-tricks github similar
• idris-hackers/software-foundations github similar
• commercialhaskell/stackage github similar
• emina/rosette github similar
• JetBrains/Arend github similar
• biwascheme/biwascheme github similar
• UniMath/UniMath github similar
• realworldocaml/book github similar
• ucsd-progsys/liquidhaskell github similar
• lexi-lambda/hackett github similar
• quchen/articles github similar
• HoTT/HoTT github similar
• plfa/plfa.github.io github similar
• eholk/harlan github similar
• AbsInt/CompCert github similar
• koka-lang/koka github similar
• FStarLang/FStar github similar
• clojure-cookbook/clojure-cookbook github similar
• ghcjs/ghcjs github similar
• idris-lang/Idris-dev github similar
• facebook/duckling github similar
• commercialhaskell/stack github similar
• cloudflare/cloudflared github similar
• coq/coq github similar
• sarabander/sicp-pdf github similar
• racket/racket github similar
• redecentralize/alternative-internet github similar