OlivierNicole/spino OlivierNicole/spino

  • Stars
    star
    2
  • Language Agda
  • Created almost 8 years ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
OlivierNicole/spino
github

OlivierNicole

Reviews

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

Repository Details

More Repositories

1

haskell-chess

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

macros-examples

Examples to illustrate the use of experimental OCaml macros
OCaml
11
star
3

staged_tpf

Metaprogramming-based deriving
OCaml
8
star
4

compose

Automated musical imitation
OCaml
6
star
5

otini.chnik.fr

My personal website
HTML
3
star
6

ocaml-graph500

OCaml 5.0 implementation of the Graph 500 benchmark
OCaml
1
star
7

cps_transform_for_effect_handlers

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