Noon van der Silk's Projects
A Haskell library to control Lifx LED light bulbs
Python library for accessing LIFX devices locally using the official LIFX LAN protocol.
Haskell plugin for LightTable
The Light Table IDE
Parser combinators for Idris
Tunes transcribed or scripted in lilypond input format.
Linear algebra after Fortran
Prototype basic libraries for Haskell with linear types
Example uses of linear types
Linear logic theorem prover and proof explorer
Functional language for parallel programming
A REST web server and optmization framework for solving geospatial graph problems
A quantum video game!
Linux kernel source tree
A drop-in, low-overhead monitoring web dashboard for a linux machine.
Linux Exploit Suggester; based on operating system release number
hacking from linuxconf au in nz in 2019
The Language-Integrated Quantum Operations (LIQUi|>) simulator
The Language-Integrated Quantum Operations (LIQUi|>) Simulator
digital signal processing library for software-defined radios
Web Server for Liquid-Types demos.
Liquid Types For Haskell
Persistent LiquidHaskell Server To Enable Fast Interactive/Incremental Checking
Audio and video streaming language
Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the computer game "Doom"
Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.