Leonid Rozenberg's repositories

oml

OCaml Math Library

Language:OCamlLicense:Apache-2.0Stargazers:119Issues:18Issues:68

bau

BigArray Utilities

Language:OCamlLicense:Apache-2.0Stargazers:13Issues:5Issues:13

dsfo

Datasets for OCaml

Language:OCamlLicense:Apache-2.0Stargazers:6Issues:4Issues:3

partition_map

Partition Map

Language:OCamlLicense:Apache-2.0Stargazers:5Issues:3Issues:0

bigarray_fold_ppx

Create monomorphic folds over Bigarrays via ppx.

Language:OCamlLicense:Apache-2.0Stargazers:4Issues:3Issues:0

bitset_shootout

Micro profiling of OCaml bitset libraries

Language:OCamlLicense:Apache-2.0Stargazers:2Issues:3Issues:1

bisect_ppx

Code coverage for OCaml.

Language:OCamlStargazers:1Issues:4Issues:0

ocbitset

OCaml ctypes bindings to cbitset

opam-repository

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

Language:ShellLicense:NOASSERTIONStargazers:1Issues:3Issues:0

sets_in_bash

Set operation via bash commands

Language:ShellStargazers:1Issues:3Issues:0

base

Standard library for OCaml

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

biocaml

OCaml Bioinformatics Library

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

cbitset

A simple bitset library in C

Language:CLicense:Apache-2.0Stargazers:0Issues:3Issues:0

cfstream

Stream operations in the style of Core's API.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

cppo

C-style preprocessor for OCaml

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

csml

High-level bindings between .Net and OCaml

Language:OCamlLicense:MITStargazers:0Issues:3Issues:0
Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (bigarrays, unix, etc.) BSD license.

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

parany

parallelize anything

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

ppx_deriving_yojson

A Yojson codec generator for OCaml >= 4.02.

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

Prohlatype-coverage-addendum-paper

Addendum to prohlatype paper based on coverage likelihood.

Language:TeXStargazers:0Issues:3Issues:0

qcheck

QuickCheck inspired property-based testing for OCaml.

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

res

OCaml library for resizable arrays and strings

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

secotrec

Setup Coclobas/Ketrew Clusters

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

solvuu_build

Solvuu's build system.

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

sqlite3-ocaml

OCaml bindings to the SQLite3 database

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

stan

Stan development repository (home page is linked below). The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.

Language:RLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

topkg

The transitory OCaml software packager

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

utop

Universal toplevel for OCaml

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0