dorchard/pde-specs
Reproducible PDE models (SSI Collaborations Workshop 2014 Hackday)
Developer Profile
dorchard
Discovered public repositories for dorchard in the GitHub catalog.
dorchard/best-science-model
Public repository.
dorchard/memoize
A Haskell memoization library
dorchard/array-memoize
Memoize discrete functions (restricted to a finite domain) using arrays
dorchard/computational-semantics
Fork of the code examples from "Computational Semantics with Functional Programming" (Eijck, Unger) http://www.computational-semantics.eu/
dorchard/unfix
Takes a recursive function and syntactically unties the recursive knot
dorchard/effect-monad
Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
dorchard/MetaprogAgda
being the materials for Summer 2013's course
dorchard/datapar
Library implementation of the Cambridge Data Parallel Model
dorchard/haskell-src
Library for manipulating Haskell source code
dorchard/comonad-extras
Comonad transformers that require Haskell extensions
dorchard/containers
Public repository.
dorchard/constrained-normal
Fork of Neil Sculthorpe's constrained-normal package (http://hackage.haskell.org/package/constrained-normal)
dorchard/coeffects-experiments
Experimenting with coeffect and comonadic semantics embedded in Haskell
dorchard/generic-deriving
Public repository.
dorchard/comonad
Haskell 98 comonads
dorchard/stencil-specs
Specifications using Haskell types and constraints for "stencil"-style computations on arrays
dorchard/haskell-live
Live coding in Haskell
dorchard/generic-annotate
Data.Generics.Annotate
dorchard/gen-type-list
Macro pre-processor that, given a recursive function on lists in Haskell, generates a type-level reification using HLists.
dorchard/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
dorchard/language-fortran
Haskell parser and manipulation functions for Fortran code
dorchard/ypnos
EDSL for Stencil Computations in Haskell
dorchard/codo-notation
Codo notation for programming with comonads in Haskell
dorchard/navier
Navier-Stokes fluid simulation in various languages (C, Fortran, and Haskell using Repa)
dorchard/constraintTermExtensions
Prototype implementation of type constraint-term extensions for GHC, accompanying the "Haskell Type Constraints Unleahsed" paper
dorchard/parsec2D
Adds a 2D parser combinator to Haskell's Parsec library of monadic parser combinators
dorchard/warwick-dcs-robot
Warwick Department of Computer Science Robot
dorchard/mucell
mucell: Multi-cellular, spatial, modelling and simulation tool