coot

atp_vim. Automatic LaTeX Plugin is one of the leading LaTeX plugin for Vim

ghc-tags-plugin. Generate tags file for haskell modules (GHC)

free-algebras. Free Algebras in Haskell

purescript-dsl-example. A simple CRUD DSL example with an asynchronious interpreter written as Cofree

purescript-cofree-react-router. React-Router implemented in PureScript as Cofree Comonad for the Array functor.

free-category. Free categories, free arrows and free categories with monadic actions

EnchantedVim. Persistent Very Magic Patterns in Vim Commands.

purescript-isomorphic-react-example. Example of Isomorphic React Application written in PureScript

purescript-redox. Data store(s) for purescript applications. Use your own DSL to update the global state.

zsh-haskell. ghc and cabal completion for zsh shell

sphinx_latex. LaTeX and HTML builders for Sphinx - Python documentation project

purescript-argonaut-aeson-generic. Argonaut codecs for aeson generic encoding

heyting-algebras. Heyting Algebras in Haskell

cmdalias_vim. This plugin allows for making aliases for vim commands without vim restrictions

purescript-react-spaces. Combinator library for generating React markup.

monadicjs. JavaScript monad library with do-notation

CRDispatcher. A utility Vim plugin used by some of my Vim plugins.

vim-agda-integration. Vim integration with Agda

monadic-party2019. Workshop on Session Types at Monadic Party 2019

purescript-intl. PureScript bindings to Intl - JavaScript Internaisation API

purescript-lazy-loading-example. PureScript: lazy loading with webpack

purescript-react-ix. purescript react bindings: safe refs and custom properties

purescript-enzyme. Purescript bindings for enzyme library

surf_searchbar. Surf is a browswer from http://surf.suckless.org/. Here is my branch with a nice chrome like url bar for surf .

python_backup. A backup system

vim_args. Vim plugin for pretty printing the arg list.

System. Vim plugin which gives a nice interface with the os programs.

vim_ftpdev. Repository for ftpdev vim plugin

psc-ide-vim. Vim plugin for psc-ide

vim-jobs. Manage async jobs in vim

vim-ssh-tree-view. NERDTree like buffer over ssh

arxiv_reader. Reader for http://arxiv.org news feed (emails)

vim-man. Simple man plugin for vim

config.nvim. A launch point for your personal nvim configuration

vim_patches. Patches for vim which I wrote (mostly) and which I use.

routing-with-cofree-comonad. My talk at PureScript Conf 2017

haddock-example. Example project with multiple package

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.

purescript-react-redox. Redox (aka readux) store for purescript react apps

purescript-karma-test-unit. Karma runner for purescript-test-unit.