Pinned Repositories
keras
Deep Learning for humans
plzwrk
A Haskell front-end framework
purescript-audio-behaviors
DSP in the browser using the behavior pattern.
purescript-deku
A PureScript web UI framework
purescript-freer-free
Boilerplate-eliminator when working with free monads.
purescript-halogen-ihooks
A hooks library for purescript-halogen
purescript-hyrule
Events, behaviors, and uneventful misbehaving
purescript-ocarina
Web audio graphs as a stream
wagsi
A 100% browser-based interactive live audio coding environment.
z3
The Z3 Theorem Prover
mikesol's Repositories
mikesol/organdiae
A tool for mind mapping in the Python interpreter.
mikesol/Statuts-LilyPond
Les statuts de l'association loi de 1901 lilypondienne
mikesol/the-tragedy-of-intent-iv