dorchard/lcore dorchard/lcore

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 4 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dorchard/lcore
github

dorchard

Reviews

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

Repository Details

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

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

zipper-solver

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

dataflow-effects-as-grades

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

parsec2D

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

stencil-algebra

An (abstract) algebra for stencil computations
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