OlivierNicole

haskell-chess

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

macros-examples

Examples to illustrate the use of experimental OCaml macros

ocaml-graph500

OCaml 5.0 implementation of the Graph 500 benchmark

advent_of_code_2020

agda-sandbox

atomic_array_tests

Unit and non-unit tests for atomic array functionality

bechamel

Agnostic benchmark in OCaml (proof-of-concept)

binsec.github.io

www presence for the BINSEC binary-level analysis open-source platform

camlp4

Camlp4 tool

domainslib

Parallel Programming over Domains

ft

icfp2016-ocaml-tutorial

lp-diagrams-svg

SVG backend for lp-diagrams

mastodon

Your self-hosted, globally interconnected microblogging community

minilucy

Small compiler for the toy synchronous language MiniLucy

motto

Tool for translating and running Flick programs

nix-direnv

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92]

nixpkgs

Fork of the Nix Packages collection to submit PRs.

ocaml-macros

OCaml with macros

ocaml-tsan-tests

Test suite for the ThreadSanitizer instrumentation in OCaml.

ocamlbuild

OCamlbuild

oliviernicole.github.io

opam-repo-dev

Development OPAM repository for work-in-progress packages

ounit

qcheck

QuickCheck inspired property-based testing for OCaml.

queue_benchmark

Some benchmarks on atomic arrays vs. arrays of atomics

regexp_ho

Higher-order regexp matcher (maybe one day with staging)

staged-streams.ocaml

staged_regexp_matcher

Playing with regular expressions and macros in OCaml.

tpf

Trivial/Tagless Polytypic Functions