roconnor

Pinned Repositories

containers
Language:Haskell1 3 01
data-lens
Haskell 98 Lenses
Language:Haskell14 4 05
data-lens-fd
Lenses with Functional Dependencies
Language:Haskell1 3 03
data-lens-template
Template Haskell utilities for Data.Lens
Language:Haskell2 3 03
groupoids
Haskell 98 Groupoids
Language:Haskell1 3 01
lens-family-th
Template Haskell to generate lenses for lens-family and lens-family-core
Language:Haskell1 3 01
nixpkgs-bootstrap
A project to build nixpkgs's bootstrap-tools from stage0-posix.
Language:Nix2 2 00

roconnor's Repositories

roconnor/data-lens
Haskell 98 Lenses
Language:Haskell14 4 05
roconnor/data-lens-template
Template Haskell utilities for Data.Lens
Language:Haskell2 3 03
roconnor/nixpkgs-bootstrap
A project to build nixpkgs's bootstrap-tools from stage0-posix.
Language:Nix2 2 00
roconnor/containers
Language:Haskell1 3 01
roconnor/data-lens-fd
Lenses with Functional Dependencies
Language:Haskell1 3 03
roconnor/groupoids
Haskell 98 Groupoids
Language:Haskell1 3 01
roconnor/lens-family-th
Template Haskell to generate lenses for lens-family and lens-family-core
Language:Haskell1 3 01
roconnor/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Language:Coq2 0
roconnor/lens
Lenses, Folds, and Traversals
Language:Haskell3 0
roconnor/LensPaper
3 0
roconnor/live-bootstrap
Use of a Linux initramfs to fully automate the bootstrapping process
Language:Shell1 1
roconnor/mescc-tools
Bootstrapping tools for Janneke's MES
Language:C1 0
roconnor/nix
Nix, the purely functional package manager
roconnor/nixpkgs
Nix Packages collection
Language:Nix3 0