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/purescript-audio-behaviors
DSP in the browser using the behavior pattern.
mikesol/purescript-jit
mikesol/purescript-everythings-better-with-variants
Cuz everything's better with variants
mikesol/purescript-three
mikesol/purescript-row-options
Optional values using rows
mikesol/purescript-browser-file-system
Exposes the browser file system API in PureScript
mikesol/sf
Learning about functional programming through sound and sound through functional programming
mikesol/docs.wags.fm
Documentation for purescript-wags
mikesol/ep_wags
A wags plugin for etherpad
mikesol/purescript-deku-todo-mvc
A simple TODO MVC in Deku
mikesol/sliders
How to use sliders in wags
mikesol/substructural-typing-systems
mikesol/wags-course
A course on purescript-wags
mikesol/wags-js
JS and TS bindings for some of PureScript Wags
mikesol/afl-api-test-1
mikesol/etherpad-lite
Etherpad: A modern really-real-time collaborative document editor.
mikesol/lots-of-notes
Lots of notes
mikesol/pureconf-2022
mikesol/purescript-deku-benchmarks
mikesol/purescript-phantom-event
mikesol/rhythm-game-sketch
mikesol/wags.fm
mikesol/mosaic
mikesol/munge
Experimental Chrome profile munger
mikesol/purescript-nonempty
A generic non-empty data structure
mikesol/purescript-unordered-collections
Fast, hash-based, immutable collections.
mikesol/purescript-web-file
Type definitions and low level interface implementations for the W3C file API
mikesol/react-native-washim
mikesol/smc2022
mikesol/wagboard
Testing out different entry methods for purescript-wags