• Stars
    star
    6
  • Rank 2,474,096 (Top 50 %)
  • Language
    Rust
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago

Reviews

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

Repository Details

an experimental basic imperative procedural language with effect handlers

More Repositories

1

ocaml-multicont

multi-shot continuations in OCaml
OCaml
35
star
2

inf-thesis-latex-cls

A LaTeX Class for Informatics theses at The University of Edinburgh
TeX
24
star
3

phd-dissertation

A summary of my activities during the past four years
TeX
24
star
4

pthandlers

an encoding of affine effect handlers using pthreads
C
13
star
5

gocaml

a moral encoding of the control flow primitives of Go in OCaml using effect handlers
OCaml
8
star
6

hx

an effect handler-oriented programming language
OCaml
6
star
7

best-aalborg-songbook

BEST Aalborg Songbook
Makefile
4
star
8

generic-count

implementing generic count using undelimited continuations, delimited continuations, and effect handlers
OCaml
4
star
9

programming

Haskell
3
star
10

t20

Triple 20: A domain specific language for kernel-to-kernel transformations.
Dart
3
star
11

ocaml-libctrl

a playground library for various control abstractions coded on top of effect handlers
OCaml
3
star
12

msc-dissertation

MSc Dissertation repository
Makefile
2
star
13

links-ocaml-handlers-compiler-abstract

Extended abstract about the Links with effect handlers compiler
TeX
2
star
14

hat

Small concatenate (cat) clone written in Haskell.
Haskell
1
star
15

hank

a research programming language based on handlers
OCaml
1
star
16

llama-compiler

An example of interfacing with the backend of the OCaml compiler
OCaml
1
star
17

mandrilapp

HTML
1
star
18

aoc2023

an attempt to solve Advent of Code 2023 using the Links programming language
1
star
19

asus-zenfan

ASUS Zenbook fan driver for Linux
C
1
star
20

mandriljulekalender

Mandriljulekalender
JavaScript
1
star
21

lambda-eff-row

An interactive implementation of the lambda-eff-row calculus
OCaml
1
star