bracevac Goto Github PK

bracevac

Config files for my GitHub profile.

cartesius

cofx

Embeddings and examples of coeffects in Scala 3/dotty.

coqatrice

Guess what

corrl

Towards Versatile Event Correlation Systems with Effect Handlers

cs352

djc-lang

dot-calculus

Formalization of the Dependent Object Types (DOT) calculus

dotter

Towards richer dependent types for DOT

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.

incremental

Ye olde co-contextual/incremental type systems development repository

interpreters

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

minikanren

Canonical miniKanren implementation

muelm

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

multicore-opam

OPAM repo for OCaml multicore development

plzoo

Programming Languages Zoo

reachability

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

rx-playground

Some GUI examples in Java/Scala using Reactive Extensions

sai

Staged Abstract Interpreters

scala-native

The Return of 2nd-Class Values - Code Repository