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