Maksim Zimaliev's repositories
mandragora-bucket
bunch of gulp tasks and npm dependencies for purescript-projects
agda
Agda is a dependently typed programming language / interactive theorem prover.
mandragora-bucket-1
Gulp goodness for PureScript.
pscid
A lightweight, fast and unintrusive PureScript file-watcher
purescript
A small strongly, statically typed language that compiles to Javascript
purescript-ace
Purescript bindings for the Ace editor
purescript-css
A clean, type-safe library for describing, manipulating and rendering CSS
purescript-debug-foreign
Direct access to native console log
purescript-free
Free, Trampoline, Yoneda, Coyoneda
purescript-imagediff
Purescript bindings to imagediff node library
purescript-lens
PureScript implementation of lens
purescript-media-types
Internet media / content / MIME types
purescript-minimatch
Purescript bindings for minimatch lib
purescript-mocha
Mocha bindings for PureScript
purescript-oidc-crypt-utils
Cryptographic utilities for performing OpenIDConnect as a client.
purescript-pathy
A type-safe abstraction for platform-independent file system paths.
purescript-profunctor-lenses
Pure profunctor lenses
purescript-psc-ide
PureScript client for psc-ide
purescript-routing
A clean, type-safe routing library for PureScript.
purescript-treemap
Treemap computation algorithms
shen-js
Shen on javascript.