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/sphinx_latex
LaTeX and HTML builders for Sphinx - Python documentation project
coot/cmdalias_vim
This plugin allows for making aliases for vim commands without vim restrictions
coot/python_backup
A backup system
coot/surf_searchbar
Surf is a browswer from http://surf.suckless.org/. Here is my branch with a nice chrome like url bar for surf .
coot/System
Vim plugin which gives a nice interface with the os programs.
coot/vim_args
Vim plugin for pretty printing the arg list.
coot/arxiv_reader
Reader for http://arxiv.org news feed (emails)
coot/django-dajaxice
Easy to use AJAX library for django. dajaxice mains goal is to trivialize the asynchronous communication within the django server side code and your js code. It's an "agnostic JS framework" approach and focus on decoupling the presentation logic.
coot/vim_ftpdev
Repository for ftpdev vim plugin
coot/vim_patches
Patches for vim which I wrote (mostly) and which I use.
coot/checkmate
Checkmate - A simple yet powerful meta code-checker with support for multiple languages.
coot/cinder
coot/css.vim
Cutting-edge vim css syntax file
coot/cvim
Utility script for vim swap files.
coot/django
The Web framework for perfectionists with deadlines.
coot/django-prefetch
Generic model related data prefetch framework for Django.
coot/django-pygments
Django - Pygments integration
coot/dwm.vim
Tiled Window Management for Vim
coot/gulp-javascript-ctags
gulp plugin for javascript-ctags node module
coot/housescrap
Scrap houses for (rent/buy) from websites and display them in one map!
coot/ihavesomethingtohi.de
Because we all have something to hide from someone
coot/imview
A script to view images.
coot/jedi
Awesome autocompletion library for python.
coot/jedi-vim
Using the jedi autocompletion library for VIM.
coot/SimpylFold
No-BS Python code folding for Vim
coot/vim-css-color
Highlight colors in css files