Pinned Loading

1. agda-playground agda-playground Public

   dumping ground for tinkering with agda programs

   Agda

2. fits-parse fits-parse Public

   Parse FITS files for Astronomy data analysis.

   Haskell 2 1

3. ImplicitCAD ImplicitCAD Public

   Forked from Haskell-Things/ImplicitCAD

   A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...

   Haskell

4. OSVR-Vive OSVR-Vive Public

   Forked from OSVR/OSVR-Vive

   OSVR driver for use with the HTC Vive (including Vive PRE)

   C++

5. text-icu text-icu Public

   Forked from haskell/text-icu

   This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.

   Haskell

6. georgewsinger/simula-openvr georgewsinger/simula-openvr Public

   Haskell OpenVR bindings.

   C 6 1