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/atp_vim
Automatic LaTeX Plugin is one of the leading LaTeX plugin for Vim
Language:Vim Script44 8 3114
coot/vim-agda-integration
Vim integration with Agda
Language:Vim script7 2 01
coot/CRDispatcher
A utility Vim plugin used by some of my Vim plugins.
Language:Vim script6 3 12
coot/vim-man
Simple man plugin for vim
Language:Vim Script2 3 0
coot/haddock-example
Example project with multiple package
Language:Haskell1 3 01
coot/AndreasPK.github.io
coot/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell2 0
coot/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Language:Haskell1 0
coot/cardano-sl-explorer
Explorer of cardano-sl
Language:PureScript2 0
coot/containers
Assorted concrete container types
Language:Haskell2 0
coot/create-release
An Action to create releases via the GitHub Release API
coot/ghc-plugin-example
Language:Haskell
coot/haddock
Haskell Documentation Tool
Language:HTML2 0
coot/imap
A performant IMAP client library
Language:Haskell1 0
coot/lattices
Fine-grained lattice primitives for Haskell
Language:Haskell
coot/network
Low-level networking interface
Language:Haskell2 0
coot/preprocessor
Remove cpp annotations, to get the source ready for static analysis with a parsing library.
coot/primitive
This package provides various primitive memory-related operations.
Language:Haskell0 0
coot/protolude
A sensible starting Prelude template.
coot/purescript
A small strongly typed language that compiles to Javascript
Language:Haskell
coot/purescript-bench
Language:PureScript
coot/purescript-express
Purescript wrapper for Express.js
Language:PureScript
coot/purescript-halogen-template
Template project for getting started with Halogen
coot/purescript-react-basic-todomvc
TodoMVC with purescript-react-basic
Language:PureScript2 0
coot/purescript-unsafe-reference
Language:PureScript
coot/Recover.vim
A Plugin to show a diff, whenever recovering a buffer
Language:Vim Script3 0
coot/tasty-prelude
Haskell tasty prelude
Language:Haskell1 0
coot/text-pipes
Text pipes
Language:Haskell1 0
coot/vim-term
Terminal plugin for Vim
Language:Vim Script3 0
coot/vim-wayland-clipboard
Integrate Vim's '+' register with the Wayland system clipboard