coot

icon indicating a website link https://coot.me

icon company @input-output-hk icon location Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.

Results 9 repositories owned by coot

atp_vim

44
Stars
14
Forks
Watchers

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

verified publisher icon coot

EnchantedVim

16
Stars
1
Forks
Watchers

Persistent Very Magic Patterns in Vim Commands.

verified publisher icon coot

free-algebras

32
Stars
2
Forks
Watchers

Free Algebras in Haskell

verified publisher icon coot

free-category

22
Stars
2
Forks
Watchers

Free categories, free arrows and free categories with monadic actions

verified publisher icon coot

ghc-tags-plugin

40
Stars
1
Forks
Watchers

Generate tags file for haskell modules (GHC)

verified publisher icon coot

purescript-cofree-react-router

24
Stars
2
Forks
Watchers

React-Router implemented in PureScript as Cofree Comonad for the Array functor.

verified publisher icon coot

purescript-dsl-example

31
Stars
0
Forks
Watchers

A simple CRUD DSL example with an asynchronious interpreter written as Cofree

verified publisher icon coot

purescript-isomorphic-react-example

20
Stars
0
Forks
Watchers

Example of Isomorphic React Application written in PureScript

verified publisher icon coot

zsh-haskell

18
Stars
0
Forks
Watchers

ghc and cabal completion for zsh shell

verified publisher icon coot