drup Goto Github PK

opam-compiler-conf

A small script to create short-lived OPAM compiler switches from experimental OCaml branches

opam-dot

A simple command to show the graph of dependencies of a package.

opam-repository

Package descriptions for OPAM

opam-user-setup

Simplify the configuration of editors for using OCaml tools

operf-micro

A set of micro-benchmarks for OCaml compiler

owl

Owl is an OCaml library for scientific and engineering computing.

papertools

paper writing tools

paradox.el

Emacs mode to edit paradox mod files

parmap

Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.

pdfpc-latex-notes

Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.

peahell

L'enfer des pois

pl-experiments

plzoo

Programming Languages Zoo

polyocamlbyte

A pdf file which is an ocaml bytecode which is a png of the logo of OCaml.

pp

Pretty printing library

ppx_core

Standard library for ppx rewriters

ppx_deriving

ppx_tools

Tools for authors of ppx rewriters

pumping

Regular languages in types

ranger

OCaml library for creating efficient ranges out of indexed data structures (arrays, strings, etc.)

re-generate

reactivedata

Functional reactive programming with incremental changes in data structures

reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

regexp-benchmark

Benchmarking regexp libraries in OCaml

regular_bazar

sidekick

[wip] A modular library for CDCL(T) SMT solvers, with proof generation.

stellaris_academia

Stellaris mod to add a bit of flavor and customization to research and scientists.

stellaris_tools

Collection of tools for stellaris

sulci

XMPP bot

syndic

RSS and Atom feed parsing