GH Archive is a project to record the public GitHub timeline, archive it, and make it easily accessible for further analysis.

Python bindings of dsi-bitstream-rs

Ultimate Plumber is a tool for writing Linux pipes with instant live preview

A library for efficient similarity search and clustering of dense vectors.

Revie is a hypothetical platform where users can sign up with their basic information and post reviews about apartments they've previously lived in. These reviews can include optional videos and/or…

Beangrep - grep-like filter for Beancount

Quickly rewrite git repository history (filter-branch replacement)

LanguageTool suggestions integrated within Emacs

A universal SBOM representation in protocol buffers

An experiment in using PostgreSQL for accounting

Part of a project to put more rigor to understanding the OSI license list and the relationships between the approved licenses

A collection of publicly available prospectuses for Free and Open Source Foundations, Events, and Projects

Detect file content types with deep learning

Rust Development Guidelines at the Laboratory for Web Algorithmics

WebGraph: The Next Generation (Is in Rust) — Reproducibility Package

A faster file programming language detector

Home of StarCoder2!

Kodi plugin for RAI

VPN plugin for Kodi

Collezione di link a canali TV e Radio italiani visibili e ascoltabili da Internet con un media player

Parallel S3 and local filesystem execution tool.

Local relational access to openly-available publication data sets

Fast and compact minimal perfect hash functions in C++.

PTRHash minimal perfect hash function, based of PTHash

Download a single commit of a Git repository, using the Software Heritage as a fallback

A lending iterator trait based on generic associated types and higher-rank trait bounds

University Domains and Names Data List & API

Open Source Contributor Index

A trait + derive to recursively compute / print the memory usage of a data structure.