Raphaël Proust's repositories

rcs

A few rc (.vimrc, .ssh/rc, …) files and scripts to keep at hand

Language:CStargazers:9Issues:1Issues:0

odds

OCaml Dice Dice Something: a library and program to roll dice

Language:OCamlLicense:ISCStargazers:5Issues:2Issues:8

fractos

Fractal rendering

Language:RustLicense:MITStargazers:4Issues:7Issues:0

opam-repository

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

Language:OCamlLicense:CC0-1.0Stargazers:1Issues:2Issues:0

cmdliner

Declarative definition of command line interfaces for OCaml

Language:OCamlLicense:ISCStargazers:0Issues:1Issues:0

code-of-conduct

Documents related to the Code of Conduct

Stargazers:0Issues:1Issues:0

crowbar

Property fuzzing for OCaml

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

Darwin-Typeface

This is the project repository for Darwin, a typeface for books and articles, with a focus on scientific writing.

Language:ShellLicense:OFL-1.1Stargazers:0Issues:0Issues:0

dune

A composable build system for OCaml.

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

eio

Effects-based direct-style IO for multicore OCaml

Stargazers:0Issues:0Issues:0

GT

Datatype-generic object-oriented transformations for OCaml

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

hacl-star

HACL*, a formally verified cryptographic library written in F*

Language:F*License:Apache-2.0Stargazers:0Issues:1Issues:0

js_of_ocaml

Compiler from OCaml to Javascript.

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

kremlin

KreMLin is a tool for extracting low-level F* programs to readable C code

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:1Issues:0

landmarks-starter

Starter repository for the landmarks ocaml library.

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

lwt

Concurrency in OCaml based on promises.

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

melange-opam-template

A simple project using the Melange template

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

ocaml

Read-only mirror of INRIA SVN

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ocaml-ci-scripts

Skeletons for CI scripts

Language:OCamlLicense:ISCStargazers:0Issues:1Issues:0

ocaml-dockerfile

OCaml interface for creating Dockerfiles

Language:OCamlLicense:ISCStargazers:0Issues:1Issues:0

ocaml-geojson

A library for manipulating, creating and parsing GeoJSON

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

ocaml-integers

Various signed and unsigned integer types for OCaml

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

ocaml.org

The official OCaml website.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

opam-publish

A tool to ease contributions to opam repositories

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:HTMLStargazers:0Issues:2Issues:0

sandmark

Benchmarking the OCaml compiler and all its friends

Language:Jupyter NotebookLicense:CC0-1.0Stargazers:0Issues:1Issues:0

semgrep-rules

Semgrep rules registry

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:OCamlLicense:MITStargazers:0Issues:0Issues:0