Popular repositories Loading

1. PNGan PNGan Public

   command-line tool to describe the structure of a PNG file and print its metadata (no image decoding)

   C++ 2

2. de-tabula-orbem de-tabula-orbem Public

   Webgl applet to display spherical images from various flat projections

   JavaScript 1 1

3. PNGImg PNGImg Public

   Simple low level C++ library to load/save PNG images, with some support for text metadata.

   C++

4. tc tc Public

   Operations +,-,*,/,sin, etc... on pairs of a complex number together with a derivative (1-jets)

   C++

5. phpgcc phpgcc Public

   A library I use to decrease boilerplate in my C++ command-line programs that create PNG or EPS images

   PHP

6. GlimpseOfLean GlimpseOfLean Public

   Forked from PatrickMassot/GlimpseOfLean

   An introduction to theorem proving in Lean for the impatient.

   Lean