-
Stars98
-
Rank 335,142 (Top 7 %)
-
LanguageHaskell
-
License
BSD 2-Clause "Sim... -
Created over 10 years ago
-
Updated 10 months ago
Reviews
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
More Repositories
1
type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations)Haskell
65
2
navier
Navier-Stokes fluid simulation in various languages (C, Fortran, and Haskell using Repa)Haskell
52
3
effects-as-sessions
Formalised embedding of an imperative language with effect system into session-typed pi calculus.
Agda
27
4
codo-notation
Codo notation for programming with comonads in HaskellHaskell
26
5
co519-logic
Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.TeX
18
6
effectful-explanations-talk
"Programs that explain their effects" talk materialHaskell
17
7
sessions-in-haskell
Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"Haskell
15
8
betty-book-haskell-sessions
Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).Haskell
12
9
ypnos
EDSL for Stencil Computations in HaskellHaskell
12
10
fibonacci_crisis
Source-code from Fibonacci Crisis performances and practises (written in Sonic Pi v2.0)Ruby
10
11
FirstPrelude
A replacement for Haskell's Prelude library (the standard library) designed for teaching beginners, developed at the University of Kent.Haskell
10
12
lambda-club
Material from presentations at the University of Kent's LambdaClub meetingsHTML
8
13
coeffects-experiments
Experimenting with coeffect and comonadic semantics embedded in HaskellHaskell
8
14
pde-specs
Reproducible PDE models (SSI Collaborations Workshop 2014 Hackday)Haskell
7
15
array-memoize
Memoize discrete functions (restricted to a finite domain) using arraysHTML
7
16
computational-semantics
Fork of the code examples from "Computational Semantics with Functional Programming" (Eijck, Unger) http://www.computational-semantics.eu/Haskell
7
17
temporal-monad
The 'temporal monad' gives a model of the actual-and-virtual-time semantics of the Sonic Pi languageHaskell
6
18
co661-notes
Notes to accompany the lectures of CO661 - Theory and Practice of Concurrency at the University of KentTeX
5
19
unfix
Takes a recursive function and syntactically unties the recursive knotHaskell
5
20
lcore
lcore (Lambda Core) A minimal functional programming language based on the lambda calculus and various minimal extensionsHaskell
4
21
zipper-solver
A zipper based data structure for rearranging formulaeHaskell
4
22
parsec2D
Adds a 2D parser combinator to Haskell's Parsec library of monadic parser combinatorsHaskell
3
23
stencil-algebra
An (abstract) algebra for stencil computationsHaskell
3
24
dataflow-effects-as-grades
Classical data-flow analysis (specialised to live-variables) modelled as a graded monadsHaskell
3
25
constraintTermExtensions
Prototype implementation of type constraint-term extensions for GHC, accompanying the "Haskell Type Constraints Unleahsed" paperHaskell
3
26
mucell
mucell: Multi-cellular, spatial, modelling and simulation toolC#
3
27
generic-annotate
Data.Generics.AnnotateHaskell
2
28
gen-type-list
Macro pre-processor that, given a recursive function on lists in Haskell, generates a type-level reification using HLists.Haskell
2
29
constrained-normal
Fork of Neil Sculthorpe's constrained-normal package (http://hackage.haskell.org/package/constrained-normal)Haskell
2
30
stencil-specs
Specifications using Haskell types and constraints for "stencil"-style computations on arraysHaskell
2
31
datapar
Library implementation of the Cambridge Data Parallel ModelHaskell
2
32
templates
My templates
Makefile
1
33
quad-tree
Example of 2D collision checking using the "quad tree" data structureJavaScript
1
34
warwick-dcs-robot
Warwick Department of Computer Science Robot
1
35
haskell-live
Live coding in Haskell
1
36
erlang-caa-kit
Prototype tools for generating Communicating Actor Automata models from Erlang code, and vice versa,Erlang
1
37
locus
Locus is an experimental declarative language where the distinction between compile-time and run-time code is fluid and manageable
1