Pinned Repositories
agda-vim
Agda interaction in vim
blue-loader-python
Python Loader for Ledger Blue and Nano S
categories
categories from category-extras
clientsession
Stores web session data in a client cookie, protected with authentication and encryption.
cronex
ermine
The Ermine Programming Language - Join us on irc.freenode.net #ermine
FairyFactions
Taming tribal fairies for silliness, fun, and profit!
free
free monads
groups
Group and Abelian group typeclasses
HoTT-Agda
Development of homotopy type theory in Agda
danbornside's Repositories
danbornside/blue-loader-python
Python Loader for Ledger Blue and Nano S
danbornside/categories
categories from category-extras
danbornside/clientsession
Stores web session data in a client cookie, protected with authentication and encryption.
danbornside/FairyFactions
Taming tribal fairies for silliness, fun, and profit!
danbornside/free
free monads
danbornside/groups
Group and Abelian group typeclasses
danbornside/HoTT-Agda
Development of homotopy type theory in Agda
danbornside/IntervalMap
Haskell interval collections
danbornside/jsaddle
JavaScript interface that works with GHCJS or GHC
danbornside/monoidal-containers
Maps using values' monoidal structure during merging
danbornside/nix-eval-jobs
Parallel nix evaluator with a streamable json output [maintainers @Mic92, @adisbladis]
danbornside/obelisk-test-skeleton
minimal obelsik project for testing uses
danbornside/postgresql-simple
Mid-level client library for accessing PostgreSQL from Haskell
danbornside/purescript-affjax
An asynchronous AJAX library built using Aff.
danbornside/purescript-datetime
Date and time library for PureScript.
danbornside/purescript-xhr
simple XMLHttpRequest wrapper for purescript.
danbornside/rainbow-bridge
🌈🌈🌈 NEAR <> Ethereum Decentralized Bridge
danbornside/reflex
danbornside/reflex-platform
danbornside/reflex-vty
Build terminal applications using functional reactive programming (FRP) with Reflex FRP.
danbornside/rhyolite
danbornside/semantic-reflex
Semantic UI bindings for Haskell and Reflex Dom
danbornside/these
An either-or-both data type, with corresponding hybrid error/writer monad transformer.
danbornside/union-find
Efficient union and equivalence testing of sets.
danbornside/vassal
danbornside/vessel
danbornside/vim-nix
Vim configuration files for Nix http://nixos.org/nix
danbornside/witherable
Filter with effects
danbornside/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
danbornside/z3-row-theory