Maksim Zimaliev's repositories
FStar
An ML-like language with a type system for program verification
purescript-ace-halogen
A Halogen component for the Ace editor.
purescript-aff-reattempt
A library for reattempting asynchronous computations
purescript-chalky
PureScript bindings to chalk library
purescript-codec
General purpose bi-directional codecs
purescript-codec-argonaut
Bi-directional JSON codecs for argonaut
purescript-colors
Convert, manipulate, analyze, blend, color scales, color schemes
purescript-dom-indexed
Typed DOM attributes and properties
purescript-fixed-points
Types for the least and greatest fixed points of functors.
purescript-formatters
Replacement for numeral.js, moment.js etc
purescript-freet
Free monad transformers
purescript-halogen-css
An adapter between the purescript-halogen and purescript-css libraries.
purescript-halogen-leaflet
Embedding leaflet geocharts to halogen
purescript-halogen-vdom-string-renderer
String rendering for halogen-vdom
purescript-hugenums
A huge number library for Purescript with emphasis on correctness.
purescript-jtable
A Purescript table renderer capable of displaying multidimensional, heterogeneous JSON data
purescript-maps
Purely functional maps
purescript-matryoshka
Generalized folds, unfolds, and traversals for fixed point data structures
purescript-node-path
Type declarations for Node's Path module
purescript-platform
PureScript bindings for platform.js
purescript-search
A grammar and parser for Google-style searches on unstructured or semi-structured data.
purescript-strongcheck-argonaut
Arbitrary instances for purescript-argonaut, using purescript-strongcheck.
purescript-webdriver
A PureScript interface to Selenium's Node Webdriver.
purescript-zclipboard
A micro clipboard library for PureScript