Popular repositories Loading

1. simp-sheaves simp-sheaves Public

   Bachelor thesis on simplicial sheaf categories.

   TeX 1

2. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean 1

3. rl2048 rl2048 Public

   Python 1

4. geomds geomds Public

   Predicting Altzheimer's Disease from Corpus Callosum Shapes

   HTML 1

5. dotfiles dotfiles Public

   Linux configuration files.

   Emacs Lisp

6. opencog opencog Public archive

   Forked from opencog/opencog

   A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)

   Scheme