Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Assembly

F#

Zig

Scala

Rust

Swift

Perl

HTML

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Go

Objective-C

Groovy

JavaScript

R

Perl

Shell

Elm

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇮🇷 Iran

🇦🇲 Armenia

🇧🇧 Barbados

🇱🇸 Lesotho

🇷🇸 Serbia

🇲🇼 Malawi

🇰🇳 Saint Kitts and Nevis

🇰🇪 Kenya

All Countries Compare Countries

dorchard/sessions-in-haskell

Stars
15
Rank 1,371,379 (Top 28 %)
Language
Haskell
Created about 8 years ago
Updated almost 7 years ago

dorchard/sessions-in-haskell

dorchard

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

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

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.

codo-notation

Codo notation for programming with comonads in Haskell

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

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