Olivier Nicole (@OlivierNicole)
github

OlivierNicole

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    72
  • Global Rank 263,660 (Top 10 %)
  • Followers 60
  • Following 31
  • Registered about 9 years ago
  • Most used languages
    OCaml
         50.0 %
    Agda     12.5 %
    Haskell
         12.5 %
    TeX
         12.5 %
    HTML
         12.5 %
  • Location 🇫🇷 France
  • Country Total Rank 6,817
  • Country Ranking
    Agda     9
    Haskell
         55
    OCaml
         80
    TeX
         792
    HTML
         2,239

Top 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

spino

Agda
2
star
7

ocaml-graph500

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

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