Noon van der Silk's Projects
Haskell web site
Homomorphic machine learning
The hledger command-line and web-based accounting tool, a Haskell rewrite of ledger.
Machine learning in FPGAs using HLS
Heightmap meshing utility.
Mock framework for testing in Haskell
NES Emulator written in Haskell
A Haskell re-implementation of the Nix expression language
Bridging the gap between observation and theory
Composable, declarative data structures for building complex visualizations easily.
Python project to automate my house.
My Home Assistant Configuration
Polymer frontend for Home Assistant
Home Assistant prototype in React Native
:house: My zeromq based home-automation system.
Android application powering the mirror in my house
Haskell code complexity and quality measurement
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Higher-order optimization library
high-performance conflation software
Hopac is a library for F# with the aim of making it easier to write efficient parallel, asynchronous and concurrent programs.
a sound modern language for computation and transactional resource logic
humans of simulated new york
HoTT in Idris
A category theory library built on top of Homotopy Type Theory, based primarily on https://bitbucket.org/JasonGross/catdb, with some inspiration from https://github.com/benediktahrens/Foundations/tree/typesystems