Similar repositories to avigad/qpf:

• avigad/qpf github similar
• gibiansky/IHaskell github similar
• aquynh/capstone github similar
• danistefanovic/build-your-own-x github similar
• Eloston/ungoogled-chromium github similar
• xuanruiqi/algebraic-geometry github similar
• leo-colisson/zx-calculus github similar
• RobertHarper/hott-notes github similar
• tootsuite/mastodon github similar
• Eugeny/terminus github similar
• k6io/k6 github similar
• tuvtran/project-based-learning github similar
• jonsterling/coq-domains github similar
• phadej/kleene-type github similar
• ericfinster/higher-alg github similar
• superhaNds/cwfs github similar
• nachivpn/k github similar
• kcsmnt0/quotient github similar
• yforster/coq-synthetic-computability github similar
• RedPRL/kado github similar
• plt-amy/agda-search github similar
• groupoid/anders github similar
• pigworker/InteriorDesign github similar
• leanprover/doc-gen4 github similar
• artagnon/bonak github similar
• uds-psl/autosubst-ocaml github similar
• paolobrasolin/jekyll-sheafy github similar
• ejgallego/coq-universe github similar
• maxsnew/modal-scheme github similar
• mortberg/gen-cart github similar
• ayberkt/formal-topology-in-UF github similar
• palladin/idris-snippets github similar
• mb64/xtt github similar
• arthuraa/agda-hoas-demo github similar
• oisdk/agda-ring-solver github similar
• arthuraa/beaq github similar
• niccoloveltri/final-pfin github similar
• RedPRL/asai github similar
• kangrongji/cubical-classics github similar
• jonsterling/lecture-notes github similar