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
Language:Vim Script44 8 3114
EnchantedVim
Persistent Very Magic Patterns in Vim Commands.
Language:Vim Script21 3 32
free-algebras
Free Algebras in Haskell
Language:Haskell37 5 33
free-category
Free categories, free arrows and free categories with monadic actions
Language:Haskell23 4 83
ghc-tags-plugin
Generate tags file for haskell modules (GHC)
Language:Haskell41 4 141
heyting-algebras
Heyting Algebras in Haskell
Language:Haskell14 4 42
purescript-cofree-react-router
React-Router implemented in PureScript as Cofree Comonad for the Array functor.
Language:PureScript25 4 52
purescript-dsl-example
A simple CRUD DSL example with an asynchronious interpreter written as Cofree
Language:PureScript32 7 00
purescript-isomorphic-react-example
Example of Isomorphic React Application written in PureScript
Language:PureScript22 4 00
zephyr
Tree shaking breeze for PureScript CoreFn AST
Language:Haskell158 8 4115

coot's Repositories

coot/purescript-dsl-example
A simple CRUD DSL example with an asynchronious interpreter written as Cofree
Language:PureScript32 7 00
coot/monadicjs
JavaScript monad library with do-notation
Language:JavaScript7 4 0
coot/purescript-intl
PureScript bindings to Intl - JavaScript Internaisation API
Language:PureScript44
coot/purescript-lazy-loading-example
PureScript: lazy loading with webpack
Language:PureScript3
coot/blog_posts
My short articles on various subjects #haskell, #javascript, #purescript. Published on https://medium.com/@coot
Language:Python
coot/css-modules-require-hook
A require hook to compile CSS Modules in runtime
Language:JavaScript2 0
coot/css-modulesify
A browserify plugin to load CSS Modules
Language:JavaScript
coot/documentation
Documentation for the PureScript language, compiler, and tools.
coot/file-loader
file loader for webpack
Language:JavaScript3 0
coot/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
Language:OCaml
coot/flowInterfaces
List of flowtype Interfaces.
Language:Shell
coot/gentoo-haskell
official gentoo haskell overlay
Language:Shell
coot/html5-syntax.vim
HTML5 syntax file for vim.
Language:VimL
coot/hyper
Type-safe, statically checked composition of HTTP servers
Language:PureScript2 0
coot/keybind
KeyBind library to add keybindings to your web app.
Language:JavaScript
coot/knockout-refs
Knockout ref binding which gives access to child components.
Language:JavaScript
coot/pulp
A build tool for PureScript projects
Language:PureScript2 0
coot/purescript-argonaut-generic-codecs
Flexible generic codecs for purescript-argonaut
Language:PureScript
coot/purescript-dynamic
Language:PureScript
coot/purescript-js-date
JavaScript's native date type and corresponding functions.
Language:PureScript2 0
coot/purescript-js-history
interface for browser history, plus memory history
Language:PureScript
coot/purescript-pairing
Pairings of functors
Language:PureScript
coot/purescript-react-redux
Language:PureScript
coot/purescript-react-router
Clean, type-safe routers for purescript-react
Language:PureScript2 0
coot/purescript-redux
:alien: Redux Bindings for PureScript
Language:JavaScript
coot/purescript-tailrec
A type class which captures stack-safe monadic tail recursion
Language:PureScript
coot/purs-loader
PureScript loader for webpack
Language:JavaScript2 0
coot/rtl8188eu
Repository for stand-alone RTL8188EU driver.
Language:C2 0
coot/speedy
Super fast execution of gulp tasks.
Language:JavaScript
coot/sweetalert2
A beautiful replacement for JavaScript's "alert"
Language:CSS