Popular repositories Loading

1. local-rings local-rings Public

   Lean 4 formalization of my results on local rings and algebras

   Lean 1

2. bridge-tcs bridge-tcs Public

   Contract Bridge library and engine

   C++

3. rings rings Public

   Commutative Rings library in C++11

   C++

4. complex-plot complex-plot Public

   Simple tool for visualizing functions in one complex variable.

   C++

5. ucalib ucalib Public

   Simple kit to compute intrinsic camera calibration

   C++

6. Larix Larix Public

   A flat dark gray theme with mint accents based on Adapta.

   SCSS