Popular repositories Loading

1. idris-binary-rationals idris-binary-rationals Public

   An idris rational number type built from paths in the Stern Brocot tree

   Idris 9 1

2. ML-examples ML-examples Public

   Forked from Arm-Examples/ML-examples

   Arm Machine Learning tutorials and examples

   C++ 2

3. jundo jundo Public

   An experiment with functional programming and 3D graphics using PureScript and WebGL.

   PureScript 1

4. purescript-metrology purescript-metrology Public

   Purescript library for type checking the manipulation of measurements with units

   PureScript

5. purescript-metrology-vectors purescript-metrology-vectors Public

   Purescript library for matrix and vector operations on measurements with units

   PureScript

6. vscode vscode Public

   Forked from microsoft/vscode

   Visual Studio Code

   TypeScript