Similar repositories to benediktahrens/Foundations:

• benediktahrens/Foundations github similar
• CategoricalData/FQL github similar
• CategoricalData/APG github similar
• CategoricalData/catdb github similar
• CategoricalData/HoTT-categories github similar
• CategoricalData/hydra github similar
• eprover/eprover github similar
• joshsh/ripple github similar
• copumpkin/categories github similar
• statebox/cql github similar
• vaticle/typeql github similar
• statebox/idris-ct github similar
• CategoricalData/CQL github similar
• numenta/nupic.core github similar
• HoTT/HoTT-Agda github similar
• statebox/awesome-applied-ct github similar
• mortberg/cubicaltt github similar
• knowitall/reverb github similar
• UniMath/UniMath github similar
• elixir-nx/explorer github similar
• gap-system/gap github similar
• OHDSI/CommonDataModel github similar
• protegeproject/protege github similar
• HoTT/HoTT github similar
• libgenapps/LibgenDesktop github similar
• HoTT/book github similar
• agda/agda github similar
• microsoft/bond github similar
• homenc/HElib github similar
• vaticle/typedb github similar
• coq/coq github similar
• FluxML/Flux.jl github similar
• tonsky/datascript github similar
• gephi/gephi github similar
• square/crossfilter github similar
• processing/processing github similar
• numenta/nupic github similar
• metricsgraphics/metrics-graphics github similar
• google/traceur-compiler github similar
• Z3Prover/z3 github similar