Similar repositories to osense/masters:
osense/masters
github
similar
JasonGross/slow-coq-examples
github
similar
tweag/awesome-learning-haskell
github
similar
uds-psl/coq-a-la-carte-cpp20
github
similar
71/cranelift-vscode
github
similar
michaelsproul/dblib-linear
github
similar
DreamLinuxer/FracAncilla
github
similar
ysharoda/Deriving-Definitions
github
similar
andreasabel/sized-types
github
similar
groupoid/anders
github
similar
meta-logic/sml-to-coq
github
similar
useronym/masters
github
similar
ggreif/seminar-opetope
github
similar
omega12345/RefactorAgda
github
similar
effectfully/proto-tt
github
similar
Lapin0t/induction-recursion
github
similar
ollef/region
github
similar
roglo/coq_real
github
similar
FreeProving/free-proving-code
github
similar
CoqHott/coq-forcing
github
similar
hmac/kite
github
similar
RobertHarper/hott-notes
github
similar
jcreedcmu/lambda-maps
github
similar
DmxLarchey/ite-normalisation
github
similar
AndrasKovacs/preordertt
github
similar
AndrasKovacs/qiit-generalizations
github
similar
TOTBWF/agda-sgd
github
similar
xnning/Row-and-Bounded-via-Disjoint
github
similar
lpw25/shifted-names
github
similar
andorp/IdrisExtSTGCodegen
github
similar
hablapps/LensAlgebra
github
similar
Saizan/parametric-demo
github
similar
laMudri/quantitative
github
similar
fsestini/tt-in-cubical
github
similar
ayberkt/simplc
github
similar
vikraman/2DTypes
github
similar
bobatkey/system-f-parametricity-model
github
similar
cverified/cbench
github
similar
tlringer/thesis
github
similar
pigworker/potato
github
similar