Sean Lee's repositories
Language:Idris000
rebindable
Better RebindableSyntax for Indexed Monads
prezto
The configuration framework for Zsh
Language:Shell000
pux-starter-app
Starter Pux application using webpack with hot-reloading and time-travel debug using pux-devtool.
purescript-fun
purescript is fun
Language:PureScript000
nix-chroot
escape hatch
MIT000
Language:Standard ML000
try-hylogen
Try Hylogen in your browser!
Language:JavaScriptBSD-3-Clause000
purs-loader
PureScript loader for webpack
Language:JavaScriptMIT000
libsysconfcpus
A github mirror of http://www.kev.pulo.com.au/libsysconfcpus/
Language:ShellGPL-2.0000
coq-fun
fun with coq
Language:Coq000
scala-fun
fun with scala
Language:Scala000
simple-sendfile
Cross platform library for the sendfile system call
Language:HaskellBSD-3-Clause000
Language:PureScriptMIT000
spreadjams
collaborative music on google sheets
Language:JavaScriptMIT000
haskell-nn
neural networks in Haskell
cheesebot9000
cheese ai
spacemacs-coq
A very simple coq layer for spacemacs
Language:Emacs Lisp000
happstack-server
An HTTP Server
Language:HaskellBSD-3-Clause000
awesome-audio-visualization
A curated list about Audio Visualization.
Language:Ruby000
purescript-thermite
A simple PureScript wrapper for React
Language:PureScriptMIT000
pipe-dream
drawn programming language
000
lasagne-hello
currently just sets up shell with Lasagne and its dependencies
Language:Nix000
matasano-haskell
Matasano crypto challenges in Haskell