mikesol

https://about.me/mikesolomon

AntlerHelsinki

Pinned Repositories

keras
Deep Learning for humans
Language:Python62.3k 1.9k 12.3k19.5k
plzwrk
A Haskell front-end framework
Language:Haskell37 5 41
purescript-audio-behaviors
DSP in the browser using the behavior pattern.
Language:PureScript41 3 271
purescript-deku
A PureScript web UI framework
Language:PureScript142 4 3613
purescript-freer-free
Boilerplate-eliminator when working with free monads.
Language:PureScript15 5 00
purescript-halogen-ihooks
A hooks library for purescript-halogen
Language:PureScript17 1 00
purescript-hyrule
Events, behaviors, and uneventful misbehaving
Language:PureScript15 1 104
purescript-ocarina
Web audio graphs as a stream
Language:PureScript59 2 174
wagsi
A 100% browser-based interactive live audio coding environment.
Language:PureScript40 3 23
z3
The Z3 Theorem Prover
Language:C++10.5k 182 5.6k1.5k

mikesol's Repositories

mikesol/purescript-deku
A PureScript web UI framework
Language:PureScript142 4 3613
mikesol/purescript-ocarina
Web audio graphs as a stream
Language:PureScript59 2 174
mikesol/purescript-hyrule
Events, behaviors, and uneventful misbehaving
Language:PureScript15 1 104
mikesol/purescript-deku-realworld
A realworld implementation using purescript-deku
Language:PureScript11 1 13
mikesol/deku-documentation
Documentation for the purescript-deku project
Language:PureScript9 1 95
mikesol/purescript-bolson
An FRP application builder
Language:PureScript6 2 32
mikesol/purescript-deku-ionic
Language:PureScript5 1 0
mikesol/purescript-tldr
A parser of type-level domain representations
Language:PureScript5 1 0
mikesol/fouriax
A port of Christian Steinmetz's auraloss for jax.
Language:Python3 1 0
mikesol/vike-deku-minimal
A minimal example of Deku + Vike
Language:PureScript3 1 0
mikesol/audiocraft
Audiocraft is a library for audio processing and generation with deep learning. It features the state-of-the-art EnCodec audio compressor / tokenizer, along with MusicGen, a simple and controllable music generation LM with textual and melodic conditioning.
Language:Python2 0 0
mikesol/create-deku-app
A template to create a deku app
Language:JavaScript2 1 0
mikesol/oooooooooorrrrrrrmm
An ORM for PureScript and TypeScript
Language:PureScript2 1 0
mikesol/html2deku
Language:PureScript1 1 01
mikesol/purescript-oooooooooorrrrrrrmm-lib
Language:PureScript1 1 0
mikesol/tensorrt-modal-mamba-codestral
Language:Python1 1 0
mikesol/ug-ionic
Language:PureScript1 1 0
mikesol/vike
🔨 Flexible, lean, community-driven, dependable, fast Vite-based frontend framework.
Language:TypeScript1 0 0
mikesol/vike-deku-client-routing
Language:PureScript1 1 0
mikesol/dpp-demo
mikesol/flax
Flax is a neural network library for JAX that is designed for flexibility.
Language:Python0 0
mikesol/galatea
Language:PureScript0 0
mikesol/jaxfun
Language:Python1 0
mikesol/my-dpp
Sketch for dpp service
Language:PureScript1 0
mikesol/nanoGPT
The simplest, fastest repository for training/finetuning medium-sized GPTs.
Language:Python0 0
mikesol/nvsr
Language:Python1 01
mikesol/purerl
Erlang backend for the PureScript compiler
Language:Haskell0 0
mikesol/purescript-analyzer
[🚀 Work In Progress] Compiler frontend for the PureScript programming language.
mikesol/smpl_tr
a simple transformer just for messing around
Language:Python2 0
mikesol/wc-discord-message
Web components to easily build and display fake Discord messages on your webpages.
Language:TypeScript0 0