monoidal

@wavemm

Pinned Repositories

ad
Automatic Differentiation
Language:Haskell0 0 00
cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell0 0 00
django
The Web framework for perfectionists with deadlines.
Language:Python0 1 00
fpga-tools
FPGA shared code for my projects
Language:Verilog0 1 00
horde-ad-repro
Language:Haskell1 1 00
monadicwarsaw
Monadic Warsaw
Language:Haskell3 3 00

monoidal's Repositories

monoidal/monadicwarsaw
Monadic Warsaw
Language:Haskell3 3 00
monoidal/horde-ad-repro
Language:Haskell1 1 00
monoidal/ad
Automatic Differentiation
Language:Haskell0 0 00
monoidal/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell0 0 00
monoidal/django
The Web framework for perfectionists with deadlines.
Language:Python0 1 00
monoidal/fpga-tools
FPGA shared code for my projects
Language:Verilog0 1 00
monoidal/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
0 1 00
monoidal/generics-sop
Generic Programming using True Sums of Products
Language:Haskell0 0
monoidal/hlint
Haskell source code suggestions
Language:Haskell1 0
monoidal/horde-ad-repro2
Repro fro GHC #23922
Language:Haskell1 0
monoidal/nixos-homepage
Sources for nixos.org
Language:JavaScript0 0
monoidal/reason-servant
The thing
Language:OCaml1 0