chris00 Goto Github PK

ansiterminal

Basic control of ANSI compliant terminals and the windows shell.

arb-sys

Rust bindings to the Arb library

async_kernel

Jane Street Capital's asynchronous execution library (core)

atd

Static types for JSON APIs

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

base

Standard library for OCaml

beamer-umons

Beamer theme for UMONS

biocaml

OCaml Bioinformatics Library

caml-mode

Emacs mode to edit OCaml files

color_brewery

Color brewery — provides color palettes and color interpolation

colorous

Color schemes for charts and maps

configurator

Helper library for gathering system configuration

covid-19

Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

cowabloga

Zurb Foundation templates for a blog/wiki using Cohttp

cppo

C-style preprocessor for OCaml

delaunator-rs

Fast 2D Delaunay triangulation in Rust. A port of Delaunator.

depext-cygwinports

docker

Docker - the open-source application container engine

docker-skype-pulseaudio

Run Skype inside an isolated Docker container

dune

A composable build system for OCaml

eurorust23-rustbridge

CLI

fftw-ocaml

Bindings to FFTW3.

gg

Basic types for computer graphics in OCaml

glical

glancing at iCal data using OCaml

gsl-ocaml

OCaml bindings to the GSL (GNU Scientific Library).

handbook-of-practical-logic-and-automated-reasoning

Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

inari

A Rust implementation of interval arithmetic

integration1d

Various functions to perform integration of functions of one real variable inspired from QUADPACK. Pure OCaml code.

interval-root-finding

An interval root finding library

io-page

IO memory page library for Mirage backends