OlivierNicole/spino

Stars
2
Language Agda
Created almost 8 years ago
Updated 11 months ago

OlivierNicole/spino

OlivierNicole

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

haskell-chess

A very simple chess engine written in Haskell (work in progress).

macros-examples

Examples to illustrate the use of experimental OCaml macros

staged_tpf

Metaprogramming-based deriving

compose

Automated musical imitation

otini.chnik.fr

My personal website

ocaml-graph500

OCaml 5.0 implementation of the Graph 500 benchmark

cps_transform_for_effect_handlers

Adaptation of Hillerström et al.’s transform “Continuation Passing Style for Effect Handlers” to accomodate exception handlers