Olivier Nicole (OlivierNicole)

OlivierNicole

Geek Repo

Location:Paris, France

Home Page:https://otini.chnik.fr

Github PK Tool:Github PK Tool


Organizations
binsec
ocamllabs
sile-typesetter

Olivier Nicole's repositories

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:22Issues:9Issues:9

compose

Automated musical imitation

Language:OCamlStargazers:6Issues:2Issues:0

otini.chnik.fr

My personal website

Language:HTMLStargazers:3Issues:5Issues:0
Language:AgdaStargazers:2Issues:3Issues:0

cps_transform_for_effect_handlers

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

Language:TeXStargazers:1Issues:3Issues:0

ocaml-graph500

OCaml 5.0 implementation of the Graph 500 benchmark

Language:OCamlStargazers:1Issues:3Issues:0

Adv360-Pro-ZMK

Production repository for the all-new Advantage360 Professional using ZMK engine

Language:MakefileLicense:MITStargazers:0Issues:2Issues:0

ctypes_stubs_js

Fork of https://gitlab.com/nomadic-labs/ctypes_stubs_js

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

flambda-backend

The Flambda backend project for OCaml

Stargazers:0Issues:0Issues:0

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixLicense:MITStargazers:0Issues:2Issues:0

integers_stubs_js

Javascript stubs for the integers library in js_of_ocaml

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

iter

Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

js_of_ocaml

Compiler from OCaml to Javascript.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

llama

Library for declaratively building software-defined modular synthesizers in OCaml

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

lwd

Lightweight document

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0
Language:OCamlStargazers:0Issues:2Issues:0

nixpkgs

Fork of the Nix Packages collection to submit PRs.

Language:NixLicense:MITStargazers:0Issues:2Issues:0

ocaml-macros

OCaml with macros

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ocaml-mm

OCaml multimedia library

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

ocaml-tsan-tests

Test suite for the ThreadSanitizer instrumentation in OCaml.

Language:OCamlStargazers:0Issues:3Issues:0

ocaml.org

The official OCaml website.

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:1Issues:0

okra

OKR report aggregation tool

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

opam-health-check

A toolchain to check for broken opam packages

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:2Issues:0

ppx_stage

Staged metaprogramming in stock OCaml

License:MITStargazers:0Issues:0Issues:0

sandmark

A benchmark suite for the OCaml compiler

Language:Jupyter NotebookLicense:UnlicenseStargazers:0Issues:2Issues:0

sandmark-nightly-config

Configuration files to run sandmark-nightly

Language:MakefileStargazers:0Issues:2Issues:0

sile

Simon's Improved Layout Engine

Language:LuaLicense:MITStargazers:0Issues:2Issues:0

test_dynarrays

qcheck-stm tests for OCaml Dynarrays, except they’re for a modified version of qcheck-stm

Language:OCamlStargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0