coot

Generate tags file for haskell modules (GHC)

No description provided.

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

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

Simple man plugin for vim

Free Algebras in Haskell

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

Heyting Algebras in Haskell

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

A launch point for your personal nvim configuration

KES agent provides a solution for storing KES keys in-process, in order to allow them to be erased securely and enable forward security in the Cardano blockchain.

Release with confidence, state-of-the-art property testing for Haskell.

Nat, Fin, Vec

A library for stateful property-based testing

My personal homepage.

Vim integration with Agda

Cardano Improvement Proposals (CIPs)

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

Persistent Very Magic Patterns in Vim Commands.

Free categories, free arrows and free categories with monadic actions

ghc and cabal completion for zsh shell

The Cardano Developer Portal

Example of Isomorphic React Application written in PureScript

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

IP Routing Table in Haskell

Implementation of the Hydra Head protocol

Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).

An implementation of the Ouroboros family of consensus algorithms, with its networking support

The core component that is used to participate in a Cardano decentralised blockchain.

A formal specification and executable model of the ledger rules introduced by the Shelley release