dorchard/erlang-caa-kit dorchard/erlang-caa-kit

  • Stars
    star
    1
  • Language
    Erlang
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dorchard/erlang-caa-kit
github

dorchard

Reviews

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

Repository Details

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

More Repositories

1

effect-monad

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

type-level-sets

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

navier

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

effects-as-sessions

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

codo-notation

Codo notation for programming with comonads in Haskell
Haskell
26
star
6

co519-logic

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

effectful-explanations-talk

"Programs that explain their effects" talk material
Haskell
17
star
8

sessions-in-haskell

Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"
Haskell
15
star
9

ypnos

EDSL for Stencil Computations in Haskell
Haskell
12
star
10

betty-book-haskell-sessions

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

fibonacci_crisis

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

FirstPrelude

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

coeffects-experiments

Experimenting with coeffect and comonadic semantics embedded in Haskell
Haskell
8
star
14

lambda-club

Material from presentations at the University of Kent's LambdaClub meetings
HTML
8
star
15

pde-specs

Reproducible PDE models (SSI Collaborations Workshop 2014 Hackday)
Haskell
7
star
16

array-memoize

Memoize discrete functions (restricted to a finite domain) using arrays
HTML
7
star
17

computational-semantics

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

temporal-monad

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

co661-notes

Notes to accompany the lectures of CO661 - Theory and Practice of Concurrency at the University of Kent
TeX
5
star
20

unfix

Takes a recursive function and syntactically unties the recursive knot
Haskell
5
star
21

lcore

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

zipper-solver

A zipper based data structure for rearranging formulae
Haskell
4
star
23

dataflow-effects-as-grades

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

parsec2D

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

stencil-algebra

An (abstract) algebra for stencil computations
Haskell
3
star
26

constraintTermExtensions

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

mucell

mucell: Multi-cellular, spatial, modelling and simulation tool
C#
3
star
28

generic-annotate

Data.Generics.Annotate
Haskell
2
star
29

gen-type-list

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

constrained-normal

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

stencil-specs

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

datapar

Library implementation of the Cambridge Data Parallel Model
Haskell
2
star
33

templates

My templates
Makefile
1
star
34

quad-tree

Example of 2D collision checking using the "quad tree" data structure
JavaScript
1
star
35

warwick-dcs-robot

Warwick Department of Computer Science Robot
1
star
36

haskell-live

Live coding in Haskell
1
star
37

locus

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