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 Script43 8 3114
free-algebras
Free Algebras in Haskell
Language:Haskell36 5 33
free-category
Free categories, free arrows and free categories with monadic actions
Language:Haskell22 4 82
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:PureScript24 4 52
purescript-dsl-example
A simple CRUD DSL example with an asynchronious interpreter written as Cofree
Language:PureScript31 7 00
purescript-isomorphic-react-example
Example of Isomorphic React Application written in PureScript
Language:PureScript21 4 00
purescript-redox
Data store(s) for purescript applications. Use your own DSL to update the global state.
Language:PureScript20 3 81
zephyr
Tree shaking breeze for PureScript CoreFn AST
Language:Haskell159 8 4115

coot's Repositories

coot/ghc-tags-plugin
Generate tags file for haskell modules (GHC)
Language:Haskell41 4 141
coot/free-algebras
Free Algebras in Haskell
Language:Haskell36 5 33
coot/free-category
Free categories, free arrows and free categories with monadic actions
Language:Haskell22 4 82
coot/zsh-haskell
ghc and cabal completion for zsh shell
Language:Shell18 4 0
coot/heyting-algebras
Heyting Algebras in Haskell
Language:Haskell14 4 42
coot/purescript-argonaut-aeson-generic
Argonaut codecs for aeson generic encoding
Language:PureScript12 3 1213
coot/config.nvim
A launch point for your personal nvim configuration
Language:Vim Script1 1 0
coot/vim-ssh-tree-view
NERDTree like buffer over ssh
Language:Vim Script1 3 0
coot/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
Language:Shell1 0
coot/cardano-haskell-packages
Metadata for Cardano's Haskell package repository
Language:Shell1 0
coot/cardano-tools
Language:Nix1 0
coot/contra-tracer
Simple tracing by way of contravariant functors
Language:Haskell1 0
coot/coot
2 1
coot/ghc-tags
A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code navigation (jump to definition).
Language:Haskell1 0
coot/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Language:Haskell1 0
coot/haskell-vim-scripts
Haskell Vim Scripts
Language:Vim Script3 01
coot/homepage
My personal homepage.
Language:Haskell4 0
coot/hydra
Implementation of the Hydra Head protocol
Language:Haskell1 0
coot/iproute
IP Routing Table in Haskell
coot/lualine.nvim
A blazing fast and easy to configure neovim statusline plugin written in pure lua.
Language:Lua1 0
coot/neovim
Vim-fork focused on extensibility and agility. Consider helping sustain Neovim development!
Language:VimL
coot/ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Language:Haskell1 0
coot/pipes-attoparsec
Utilities to convert a parser into a pipe
Language:Haskell1 0
coot/quickcheck
Automatic testing of Haskell programs.
Language:Haskell
coot/recover-rtti
Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
Language:Haskell0 0
coot/smtp-mail
Making it easy to send SMTP email from Haskell
coot/tasty
Modern and extensible testing framework for Haskell
Language:Haskell1 0
coot/vim
The official Vim repository
Language:Vim script3 0
coot/vim-lsp
async language server protocol plugin for vim and neovim
Language:Vim Script1 0
coot/win32
Haskell support for the Win32 API
Language:Haskell1 0