Popular repositories Loading

1. a_python_primer_for_math a_python_primer_for_math Public

   Jupyter Notebook 1

2. frow frow Public

   frow is a toolset of pdf manipulation aimed at the grading of assessments in tertiary education

   Python

3. minitt minitt Public

   A python implementation of minitt

   Python

4. mathematics_in_lean0 mathematics_in_lean0 Public

   Forked from leanprover-community/mathematics_in_lean

   The user home repository for the Mathematics in Lean tutorial.

   HTML

5. more-itertools more-itertools Public

   Forked from more-itertools/more-itertools

   More routines for operating on iterables, beyond itertools

   Python

6. rust_itertools rust_itertools Public

   Forked from rust-itertools/itertools

   Extra iterator adaptors, iterator methods, free functions, and macros.

   Rust