Popular repositories Loading

1. bsd-games bsd-games Public

   Inactive - GNU/Linux port of the NetBSD games collection - see https://www.polyomino.org.uk/computer/software/bsd-games/ for more information and links to newer versions

   C 14 6

2. AperiodicMonotilesLean AperiodicMonotilesLean Public

   Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)

   Lean 13

3. bmo2-2020-lean bmo2-2020-lean Public

   Beginner experiments in formalisation of solutions to mathematical olympiad problems, using problems from the second round of the British Mathematical Olympiad 2019/20.

   Lean 9 1

4. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean 1

5. prelink prelink Public

   Forked from mhatle/prelink

   Mirror of the Yocto Project prelink-cross project

   1

6. matholymp-py matholymp-py Public

   Mirror of git://git.ukmt.org.uk/git/matholymp-py.git - Python software for creating and maintaining websites for mathematical olympiads, with online registration and support for various associated …

   Python