shonfeder/ocaml-effstudies shonfeder/ocaml-effstudies

  • Stars
    star
    1
  • Language
    OCaml
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
shonfeder/ocaml-effstudies
github

shonfeder

Reviews

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

Repository Details

Studies using OCaml 5's effect handlers

More Repositories

1

um-abt

An OCaml library implementing unifiable abstract binding trees (UABTs)
OCaml
26
star
2

emojitsu

Tiny executable techniques for dealing with emoji
OCaml
19
star
3

alg_structs

Algebraic Structures in OCaml Structs
OCaml
15
star
4

tokenize

A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
Prolog
11
star
5

kwdcmd

Keywords to Write Command Lines ~ Partial porcelain around Cmdliner
OCaml
10
star
6

nomad

OCaml project situation tools: wander freely to find fertile ground
OCaml
9
star
7

nd_project

[WIP] A pedagogical toy for learning natural deduction
OCaml
5
star
8

protelog

Experiments with prolog sugar and langauge extensions β€” cf. "proteus"
Prolog
4
star
9

aoc

AOC
OCaml
3
star
10

sml-utils

A nascent, in progress library of utility modules for SML (compatible with, and using extensions offered by SML/NJ)
Standard ML
2
star
11

ocobs

COBS (Consistent Overhead Byte Stuffing) in OCaml
OCaml
1
star
12

changeling

Harmonize changelogs without mangling their purpose
OCaml
1
star
13

consolate

Experimental utilities to console operators of consoles
OCaml
1
star
14

synechepedia

Connected notes on explorations of connections (homepage src)
Emacs Lisp
1
star
15

99-lambda-prolog-problems

99 Ξ»Prolog Problems (eventually)
AMPL
1
star
16

aoc-2020

Solutions for the Advent of Code 2020 in Lamba Prolog
Prolog
1
star
17

shonfeder.github.io

Public Personal Wiki
CSS
1
star