oliviernicole Goto Github PK

adv360-pro-zmk

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

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

compose

Automated musical imitation

cps_transform_for_effect_handlers

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

ctypes_stubs_js

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

david-cope-cmmc

LISP source code for David Cope's book "Computer Models of Musical Creativity".

domainslib

Parallel Programming over Domains

flambda-backend

The Flambda backend project for OCaml

ft

haskell-chess

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

home-manager

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

icfp2016-blog

Canopy blog data that powers ICFP liveblog

icfp2016-ocaml-tutorial

integers_stubs_js

Javascript stubs for the integers library in js_of_ocaml

iter

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

js_of_ocaml

Compiler from OCaml to Javascript.

kayceesrk.github.io

Personal website

llama

Library for declaratively building software-defined modular synthesizers in OCaml

lp-diagrams-svg

SVG backend for lp-diagrams

lwd

Lightweight document

macros-examples

Examples to illustrate the use of experimental OCaml macros

mastodon

Your self-hosted, globally interconnected microblogging community

maybe

Simple option type for C++14

minilucy

Small compiler for the toy synchronous language MiniLucy

motto

Tool for translating and running Flick programs