Pinned Repositories
acmart-biblatex
Biblatex styles for the acmart ACM latex package
ami-thinner
Combining Mancoosi and Misc tools to produce AMI with minimal disk footprint.
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.
docked-aspcud
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.
parmap
Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
SocialNetwork
A highly functional library for social combinators.
updateswh
Browser extension to check and uptate archival of repositories in Software Heritage
rdicosmo's Repositories
rdicosmo/parmap
Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
rdicosmo/updateswh
Browser extension to check and uptate archival of repositories in Software Heritage
rdicosmo/ami-thinner
Combining Mancoosi and Misc tools to produce AMI with minimal disk footprint.
rdicosmo/acmart-biblatex
Biblatex styles for the acmart ACM latex package
rdicosmo/docked-aspcud
rdicosmo/camltextools
A few tools in OCaml for expanding and extracting dependencies from LaTeX files
rdicosmo/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.
rdicosmo/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
rdicosmo/SocialNetwork
A highly functional library for social combinators.
rdicosmo/biblio-irill
bibliography for Irill
rdicosmo/coinst
Collection of tools to find issues in package repositories and help manage Debian package integration.
rdicosmo/acmart
ACM consolidated LaTeX styles
rdicosmo/conarvirus
Visualisation of the evolution of covid-19
rdicosmo/doseclone
Clone of dose project (here just for experimental purposes)
rdicosmo/GaNyMEDE
GeNeric Moocs & coursEs Development Environment
rdicosmo/github-orgmode-tests
This is a test project where you can explore how github interprets Org-mode files
rdicosmo/jecode
jecode.org
rdicosmo/learnbigcode.github.io
Website for Learning from "Big Code"
rdicosmo/moviedb
Sample movie database
rdicosmo/ocaml.org
Implementation of the ocaml.org website.
rdicosmo/OcamlMOOC
Pull-requestable repo for the OCaml MOOC subtitles
rdicosmo/opam2web
A tool to generate a website from an OPAM repository
rdicosmo/open-data-registry
A registry of publicly available datasets on AWS
rdicosmo/persistence
test
rdicosmo/RR_webinars
Series of webinars and documents on Reproducible Research
rdicosmo/specification-working-copy
Specification of the SWHID identifier
rdicosmo/swh-check-repositories
Check archival status of a list of repositories
rdicosmo/test-gh-polls
rdicosmo/usercriteria