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

js_of_ocaml

Compiler from OCaml to Javascript.

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

ocaml.org

The official OCaml website.

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

staged_tpf

Metaprogramming-based deriving

Language:OCamlStargazers:8Issues:0Issues:0
Stargazers:0Issues:0Issues:0

Adv360-Pro-ZMK

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

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

ocaml

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

Language:OCamlLicense:NOASSERTIONStargazers:22Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

test_dynarrays

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

Language:OCamlStargazers:0Issues:0Issues:0

flambda-backend

The Flambda backend project for OCaml

Stargazers:0Issues:0Issues:0

ppx_stage

Staged metaprogramming in stock OCaml

License:MITStargazers:0Issues:0Issues:0

ctypes_stubs_js

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

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

otini.chnik.fr

My personal website

Language:HTMLStargazers:3Issues:0Issues:0

integers_stubs_js

Javascript stubs for the integers library in js_of_ocaml

License:MITStargazers:0Issues:0Issues:0

lwd

Lightweight document

License:MITStargazers:0Issues:0Issues:0

opam-repository

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

License:CC0-1.0Stargazers:0Issues:0Issues:0
Language:AgdaStargazers:2Issues:0Issues:0

iter

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

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

sile

Simon's Improved Layout Engine

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

okra

OKR report aggregation tool

License:MITStargazers:0Issues:0Issues:0

opam-health-check

A toolchain to check for broken opam packages

License:MITStargazers:0Issues:0Issues:0

compose

Automated musical imitation

Language:OCamlStargazers:6Issues:0Issues:0

llama

Library for declaratively building software-defined modular synthesizers in OCaml

License:MITStargazers:0Issues:0Issues:0

ocaml-mm

OCaml multimedia library

License:LGPL-2.1Stargazers:0Issues:0Issues:0

home-manager

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

License:MITStargazers:0Issues:0Issues:0

sandmark-nightly-config

Configuration files to run sandmark-nightly

Stargazers:0Issues:0Issues:0

sandmark

A benchmark suite for the OCaml compiler

License:UnlicenseStargazers:0Issues:0Issues: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:0Issues:0

ocaml-macros

OCaml with macros

License:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-graph500

OCaml 5.0 implementation of the Graph 500 benchmark

Language:OCamlStargazers:1Issues:0Issues:0

nixpkgs

Fork of the Nix Packages collection to submit PRs.

License:MITStargazers:0Issues:0Issues:0