Roberto Di Cosmo (rdicosmo)

rdicosmo

Geek Repo

Company:Software Heritage, Inria and University Paris Cité

Location:Paris

Home Page:http://www.dicosmo.org

Twitter:@rdicosmo

Github PK Tool:Github PK Tool


Organizations
aeolus-project

Roberto Di Cosmo's repositories

parmap

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

Language:OCamlLicense:NOASSERTIONStargazers:92Issues:5Issues:61

updateswh

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

Language:JavaScriptLicense:MITStargazers:14Issues:0Issues:0

ami-thinner

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

Language:ShellLicense:BSD-2-ClauseStargazers:6Issues:1Issues:0

acmart-biblatex

Biblatex styles for the acmart ACM latex package

Language:TeXLicense:NOASSERTIONStargazers:4Issues:2Issues:4

camltextools

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

Language:TeXLicense:GPL-2.0Stargazers:2Issues:1Issues:1

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.

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:1Issues:0

opam-repository

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

Language:OCamlLicense:CC0-1.0Stargazers:1Issues:2Issues:0

SocialNetwork

A highly functional library for social combinators.

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:1Issues:0

biblio-irill

bibliography for Irill

Language:TeXStargazers:0Issues:1Issues:0

coinst

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

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

acmart

ACM consolidated LaTeX styles

Stargazers:0Issues:0Issues:0

conarvirus

Visualisation of the evolution of covid-19

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0

doseclone

Clone of dose project (here just for experimental purposes)

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

GaNyMEDE

GeNeric Moocs & coursEs Development Environment

Language:ShellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

github-orgmode-tests

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

Stargazers:0Issues:0Issues:0

jecode

jecode.org

Language:ClojureStargazers:0Issues:0Issues:0

learnbigcode.github.io

Website for Learning from "Big Code"

Language:CSSLicense:MITStargazers:0Issues:0Issues:0

moviedb

Sample movie database

Language:OCamlStargazers:0Issues:0Issues:0

ocaml.org

Implementation of the ocaml.org website.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

OcamlMOOC

Pull-requestable repo for the OCaml MOOC subtitles

Stargazers:0Issues:1Issues:0

opam2web

A tool to generate a website from an OPAM repository

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

open-data-registry

A registry of publicly available datasets on AWS

License:Apache-2.0Stargazers:0Issues:0Issues:0
License:CC0-1.0Stargazers:0Issues:0Issues:0

RR_webinars

Series of webinars and documents on Reproducible Research

Language:Emacs LispStargazers:0Issues:0Issues:0

specification-working-copy

Specification of the SWHID identifier

License:NOASSERTIONStargazers:0Issues:0Issues:0

swh-check-repositories

Check archival status of a list of repositories

Language:PythonStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:1Issues:0