coot
Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.
@input-output-hk
Pinned Repositories
atp_vim
Automatic LaTeX Plugin is one of the leading LaTeX plugin for Vim
EnchantedVim
Persistent Very Magic Patterns in Vim Commands.
free-algebras
Free Algebras in Haskell
free-category
Free categories, free arrows and free categories with monadic actions
ghc-tags-plugin
Generate tags file for haskell modules (GHC)
heyting-algebras
Heyting Algebras in Haskell
purescript-cofree-react-router
React-Router implemented in PureScript as Cofree Comonad for the Array functor.
purescript-dsl-example
A simple CRUD DSL example with an asynchronious interpreter written as Cofree
purescript-isomorphic-react-example
Example of Isomorphic React Application written in PureScript
zephyr
Tree shaking breeze for PureScript CoreFn AST
coot's Repositories
coot/purescript-cofree-react-router
React-Router implemented in PureScript as Cofree Comonad for the Array functor.
coot/EnchantedVim
Persistent Very Magic Patterns in Vim Commands.
coot/purescript-redox
Data store(s) for purescript applications. Use your own DSL to update the global state.
coot/purescript-enzyme
Purescript bindings for enzyme library
coot/psc-ide-vim
Vim plugin for psc-ide
coot/purescript-karma-test-unit
Karma runner for purescript-test-unit.
coot/purescript-react-redox
Redox (aka readux) store for purescript react apps
coot/vim-jobs
Manage async jobs in vim
coot/aeson
A fast Haskell JSON library
coot/beam
A type-safe, non-TH Haskell SQL library and ORM
coot/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
coot/hasktags
Produces ctags "tags" and etags "TAGS" files for Haskell programs
coot/network-transport-tcp
TCP Realisation of Network.Transport
coot/psqueues
Priority Search Queues in three different flavors for Haskell
coot/purescript-aff
An asynchronous effect monad for PureScript
coot/purescript-affjax
An asynchronous AJAX library built using Aff.
coot/purescript-datetime
Date and time library for PureScript.
coot/purescript-dom
Type definitions and standard effect for interacting with the DOM
coot/purescript-form-urlencoded
coot/purescript-halogen
A declarative, type-safe UI library for PureScript.
coot/purescript-halogen-vdom
An extensible virtual-dom library for PureScript.
coot/purescript-http-methods
HTTP method type
coot/purescript-lists
Linked Lists
coot/purescript-media-types
Internet media / content / MIME types
coot/purescript-react
React Bindings for PureScript
coot/purescript-routing
A clean, type-safe routing library for PureScript.
coot/purescript-smolder
A combinator library for generating markup
coot/purescript-typeable
coot/purescript-vim
coot/vim-fugitive
fugitive.vim: a Git wrapper so awesome, it should be illegal