Pinned Loading

1. designing-a-language-for-formal-verification designing-a-language-for-formal-verification Public

   Series of articles that explain the aspects of designing a programming language that includes formal verification.

   Makefile

2. MinimumBoundingBox MinimumBoundingBox Public

   Finds the minimum bounding box from a point cloud.

   84 5

3. to-precision to-precision Public

   Forked from randlet/to-precision

   Formatting floating point numbers to standard, scientific, or engineering notation with a specified number of significant digits.

   28 4

4. biparsing biparsing Public

   Bidirectional Parsing. Work in Progress

   Haskell 33

5. hryu hryu Public

   Haskell Translation of the Ryu Fast Float to String

   Haskell 2

6. commander-cli commander-cli Public

   Forked from SamuelSchlesinger/commander-cli

   Quickly and easily construct command line interfaces.

   Haskell