bracevac

corrl

Towards Versatile Event Correlation Systems with Effect Handlers

dotter

Towards richer dependent types for DOT

muElm

Denotational semantics of an Elm-like language in terms of actors. Something I doodled a long time ago.

cartesius

bracevac

Config files for my GitHub profile.

cofx

Embeddings and examples of coeffects in Scala 3/dotty.

incremental

Ye olde co-contextual/incremental type systems development repository

reachability

Mechanizations and prototypes for reachability types, a new take on ownership that scales better to impure higher-order languages.

scala-native

The Return of 2nd-Class Values - Code Repository

coqatrice

Guess what

cs352

djc-lang

dot-calculus

Formalization of the Dependent Object Types (DOT) calculus

eff

A functional programming language based on algebraic effects and their handlers.

effect-handlers

effectmk

Experiments with algebraic effects and relational programming

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

effects-rosetta-stone

A comparison of how computational effects and handlers are implemented in various programming languages.

faster-miniKanren

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

iron

Coq formalizations of functional languages.

java-semantics

The semantics of Java in K

koka

Koka language compiler and interpreter

minidot

Dependent Object Types (DOT), bottom up

multicore-opam

OPAM repo for OCaml multicore development

plzoo

Programming Languages Zoo

sai

Staged Abstract Interpreters

scala3-example-project

An example sbt project that compiles using Dotty

sicm

Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"

sicp

HTML5/EPUB3 version of SICP