dorchard/co519-logic dorchard/co519-logic

  • Stars
    star
    18
  • Rank 1,176,162 (Top 24 %)
  • Language
    TeX
  • Created over 6 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dorchard/co519-logic
github

dorchard

Reviews

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

Repository Details

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

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
65
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
27
star
5

codo-notation

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

effectful-explanations-talk

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

sessions-in-haskell

Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"
Haskell
15
star
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
star
9

ypnos

EDSL for Stencil Computations in Haskell
Haskell
12
star
10

fibonacci_crisis

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

FirstPrelude

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

coeffects-experiments

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

lambda-club

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

pde-specs

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

array-memoize

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

computational-semantics

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

temporal-monad

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

co661-notes

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

unfix

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

lcore

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

zipper-solver

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

parsec2D

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

stencil-algebra

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

dataflow-effects-as-grades

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

constraintTermExtensions

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

mucell

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

generic-annotate

Data.Generics.Annotate
Haskell
2
star
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
star
29

constrained-normal

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

stencil-specs

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

datapar

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

templates

My templates
Makefile
1
star
33

quad-tree

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

warwick-dcs-robot

Warwick Department of Computer Science Robot
1
star
35

haskell-live

Live coding in Haskell
1
star
36

erlang-caa-kit

Prototype tools for generating Communicating Actor Automata models from Erlang code, and vice versa,
Erlang
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