Similar repositories to konn/sdg-agda:

• konn/sdg-agda github similar
• pigworker/PolyTest github similar
• MatthewStein/adrenalina github similar
• yforster/coq-synthetic-computability github similar
• mikeshulman/ohtt github similar
• EgbertRijke/GraphModel github similar
• bendoh/zsh-git-prompt github similar
• barrucadu/monad-monitor github similar
• jb55/macaroons github similar
• Infinisil/guides github similar
• cj-xu/ContinuityType github similar
• niccoloveltri/final-pfin github similar
• jonsterling/topos-theory-notes github similar
• ramsdell/agum github similar
• amintimany/OPLSS github similar
• ayberkt/AC-unification github similar
• shlevy/elvysh-project-documentation github similar
• annebouillard/NetCalBounds github similar
• ejconlon/haskell-linenoise github similar
• gallais/agda-presburger github similar
• IanOrton/cubical-topos-experiments github similar
• marcinjangrzybowski/cubeViz github similar
• pamellies/models-of-programming-languages github similar
• ayberkt/linear-diophantine github similar
• Profpatsch/slurp2nix github similar
• linuxrocks123/palloc2 github similar
• lancelet/haskell-opencl-examples github similar
• andrewthad/linear-containers github similar
• alanz/happy github similar
• andrewthad/unlifted-array-ffi github similar
• mrkgnao/utt github similar
• amintimany/CTDT github similar
• nachivpn/syntactic-ni github similar
• jozefg/fibrational-semantics github similar
• kongra/retehs github similar
• andrewthad/impure-containers github similar
• tazjin/carnix github similar
• TimPut/hTile github similar
• shajra/nix-haskell-tags github similar
• RobertHarper/hott-notes github similar