dorchard/codo-notation

Stars
26
Rank 930,752 (Top 19 %)
Language
Haskell
License
BSD 2-Clause "Sim...
Created over 13 years ago
Updated almost 4 years ago

dorchard/codo-notation

dorchard

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Codo notation for programming with comonads in Haskell

effect-monad

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

type-level-sets

Type-level sets for Haskell (with value-level counterparts and various operations)

navier

Navier-Stokes fluid simulation in various languages (C, Fortran, and Haskell using Repa)

effects-as-sessions

Formalised embedding of an imperative language with effect system into session-typed pi calculus.

co519-logic

Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.

effectful-explanations-talk

"Programs that explain their effects" talk material

sessions-in-haskell

Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"

ypnos

EDSL for Stencil Computations in Haskell

betty-book-haskell-sessions

Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).

fibonacci_crisis

Source-code from Fibonacci Crisis performances and practises (written in Sonic Pi v2.0)

FirstPrelude

A replacement for Haskell's Prelude library (the standard library) designed for teaching beginners, developed at the University of Kent.

coeffects-experiments

Experimenting with coeffect and comonadic semantics embedded in Haskell

lambda-club

Material from presentations at the University of Kent's LambdaClub meetings

pde-specs

Reproducible PDE models (SSI Collaborations Workshop 2014 Hackday)

array-memoize

Memoize discrete functions (restricted to a finite domain) using arrays

computational-semantics

Fork of the code examples from "Computational Semantics with Functional Programming" (Eijck, Unger) http://www.computational-semantics.eu/

temporal-monad

The 'temporal monad' gives a model of the actual-and-virtual-time semantics of the Sonic Pi language

co661-notes

Notes to accompany the lectures of CO661 - Theory and Practice of Concurrency at the University of Kent

unfix

Takes a recursive function and syntactically unties the recursive knot

lcore

lcore (Lambda Core) A minimal functional programming language based on the lambda calculus and various minimal extensions

zipper-solver

A zipper based data structure for rearranging formulae

dataflow-effects-as-grades

Classical data-flow analysis (specialised to live-variables) modelled as a graded monads

parsec2D

Adds a 2D parser combinator to Haskell's Parsec library of monadic parser combinators

stencil-algebra

An (abstract) algebra for stencil computations

constraintTermExtensions

Prototype implementation of type constraint-term extensions for GHC, accompanying the "Haskell Type Constraints Unleahsed" paper

mucell

mucell: Multi-cellular, spatial, modelling and simulation tool

generic-annotate

Data.Generics.Annotate

gen-type-list

Macro pre-processor that, given a recursive function on lists in Haskell, generates a type-level reification using HLists.

constrained-normal

Fork of Neil Sculthorpe's constrained-normal package (http://hackage.haskell.org/package/constrained-normal)

stencil-specs

Specifications using Haskell types and constraints for "stencil"-style computations on arrays

datapar

Library implementation of the Cambridge Data Parallel Model

templates

quad-tree

Example of 2D collision checking using the "quad tree" data structure

warwick-dcs-robot

Warwick Department of Computer Science Robot

haskell-live

Live coding in Haskell

erlang-caa-kit

Prototype tools for generating Communicating Actor Automata models from Erlang code, and vice versa,

locus

Locus is an experimental declarative language where the distinction between compile-time and run-time code is fluid and manageable