Noon van der Silk's Projects
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
Yes, really...
A partial implementation of Protocol Buffers in Idris
A port of QuickCheck to Idris
Exploring the potential use of dependent types in scientific programming.
A tutorial to the Idris Programming Language.
Idris mode for vim
A dependently typed programming language, a successor to Idris
A purely functional programming language with first class types
2048 in Idris
A library for composable and effectful production, transformation and consumption of streams of data in Idris
Markup language and JavaScript runtime for creating data-driven stories and explorable explanations.
Information Extraction framework in Python
constraint level if statements
Iterating Function Systems
A F# Profile for iPython Notebook
Interplanetary Git Service
A Haskell kernel for IPython.
A base setup of IHaskell+Jupyter+Jupyter Dashboards from which you can build your own dashboards.
A simple shared budget manager web application
λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.
Jupyter Kernel for the programming language Q
Algorithm → AST → CSS
imag - Text based personal information management suite
Convert an image to ANSI colour codes using JavaScript.
ImaGen: Generic Python library for 0D, 1D and 2D pattern distributions
Small installation sniffing for image url's on the local network traffic and visualizes them
Encode an image to sound
Any image to GCode translation (via CrossHatch & Contour)
Immediate Mode Graphical User Interface with minimal dependencies