rdicosmo Goto Github PK

acmart

ACM consolidated LaTeX styles

acmart-biblatex

Biblatex styles for the acmart ACM latex package

ami-thinner

Combining Mancoosi and Misc tools to produce AMI with minimal disk footprint.

biblio-irill

bibliography for Irill

camltextools

A few tools in OCaml for expanding and extracting dependencies from LaTeX files

coinst

Collection of tools to find issues in package repositories and help manage Debian package integration.

conarvirus

Visualisation of the evolution of covid-19

docked-aspcud

doseclone

Clone of dose project (here just for experimental purposes)

ganymede

GeNeric Moocs & coursEs Development Environment

github-orgmode-tests

This is a test project where you can explore how github interprets Org-mode files

jecode

jecode.org

learnbigcode.github.io

Website for Learning from "Big Code"

moviedb

Sample movie database

ocaml.org

Implementation of the ocaml.org website.

ocamlmooc

Pull-requestable repo for the OCaml MOOC subtitles

opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opam-repository

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

opam2web

A tool to generate a website from an OPAM repository

open-data-registry

A registry of publicly available datasets on AWS

parmap

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

persistence

test

rr_webinars

Series of webinars and documents on Reproducible Research

socialnetwork

A highly functional library for social combinators.

specification-working-copy

Specification of the SWHID identifier

swh-check-repositories

Check archival status of a list of repositories

test-gh-polls

updateswh

Browser extension to check and uptate archival of repositories in Software Heritage

usercriteria