Similar repositories to Confirm-Solutions/imprint:
Confirm-Solutions/imprint
github
similar
Confirm-Solutions/kevlar
github
similar
meilisearch/MeiliSearch
github
similar
juxt/crux
github
similar
tuvtran/project-based-learning
github
similar
danistefanovic/build-your-own-x
github
similar
tootsuite/mastodon
github
similar
tetrapharmakon/isbell-frames
github
similar
NickHu/homotopy-io
github
similar
homotopy-io/homotopy-core
github
similar
ncatlab/nlab-core
github
similar
jmchapman/categories
github
similar
emilypi/lens-process
github
similar
cj-xu/PC19
github
similar
UniMath/largecatmodules
github
similar
jules-hedges/open-games
github
similar
jmchapman/restriction-categories
github
similar
julianhyde/morel
github
similar
mikeshulman/dirtt
github
similar
maxsnew/virtual-equipments
github
similar
mikeshulman/cohesivett
github
similar
leftaroundabout/constrained-categories
github
similar
leftaroundabout/Symbolic-math-HaTeX
github
similar
viktorstrate/swift-tree-sitter
github
similar
hashicorp/c2m
github
similar
RobertHarper/hott-notes
github
similar
vlopezj/coq-course
github
similar
gallais/parseque
github
similar
wenkokke/AutoInAgda
github
similar
brianhempel/live-ghci
github
similar
oisdk/agda-ring-solver
github
similar
guillaumebrunerie/initiality
github
similar
aspiwack/peppermint-prover
github
similar
JamesYang007/autoppl
github
similar
pamellies/models-of-programming-languages
github
similar
andrejbauer/what-is-algebraic-about-algebraic-effects
github
similar
wouter-swierstra/xmonad
github
similar
felixwellen/DCHoTT-Agda
github
similar
jespercockx/ataca
github
similar
s-arash/ascent
github
similar