Noon van der Silk's Projects
Realworld inspired blogging platform (Remake of Conduit) using Hasura + Purescript + Elm
Reactive framework for animating SVG graphics.
Navigation-mesh Toolset for Games
recipes of some dishes that i like.
Research using Cirq!
Flexibly import bank account CSV files into Ledger for command-line accounting
A React utility belt for function components and higher-order components.
index, organize, and search your music collection, DJ sick sets.
Some fun examples of solving problems with symbolic execution
A tool for forensic file system reconstruction.
Generalized bananas, lenses and barbed wire
Rust library for building and running BPF/eBPF modules
Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.
A secure calling app for Android.
Transition-based statistical parser
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.
Goodreads for TV & Film + FOMO
Analyze clusters of references
Refinement types with static and runtime checking
Refinement types + dependent types = ❤️
Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection
Functional reactive UI library
Interact with a JSON-serialized API defined by a GADT in your reflex-dom application
Refinement Types for Scripting Languages
Database maintenance tool support
Easily generate an environment map, or skybox, of Earth atmosphere given a 3D vector representing the direction of the sun.