Popular repositories Loading

1. nim nim Public

   A version of Nim with Reach, that can run on a blockchain.

   RenderScript 1

2. data data Public

   Forked from pi-base/data

   A community database of topological counterexamples

3. Peg-solitaire Peg-solitaire Public

   Simple implementation of peg solitaire in Python, and trying different ways of computing solutions

   Python

4. Bachelor_thesis Bachelor_thesis Public

   Student research project on quotient of model categories

5. Master_thesis Master_thesis Public

   Master's thesis on the formalization in lean of the existence and uniqueness of Fraïssé limits