Skip to content
View Chris00's full-sized avatar

Highlights

  • Pro

Organizations

@ocaml @biocaml @University-of-Mons

Block or report Chris00

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Empowering everyone to build reliable and efficient software.

Rust 108,580 14,201 Updated Dec 17, 2025

Open Source Computer Vision Library

C++ 85,314 56,392 Updated Dec 16, 2025

Your self-hosted, globally interconnected microblogging community

Ruby 49,380 7,376 Updated Dec 17, 2025

Jitsi Meet - Secure, Simple and Scalable Video Conferences that you use as a standalone app or embed in your web application.

TypeScript 28,041 7,649 Updated Dec 16, 2025

A terminal workspace with batteries included

Rust 27,656 882 Updated Dec 16, 2025

An incremental parsing system for programming tools

Rust 23,035 2,269 Updated Dec 17, 2025

Fast math typesetting for the web.

JavaScript 19,650 1,267 Updated Dec 16, 2025

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…

C++ 14,022 978 Updated Dec 17, 2025

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

JavaScript 13,010 917 Updated Dec 17, 2025

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

OCaml 10,294 430 Updated Dec 15, 2025

Anbox is a container-based approach to boot a full Android system on a regular GNU/Linux system

C++ 9,055 1,157 Updated Feb 6, 2024

A free & open modern, fast email client with user-friendly encryption and privacy features

Python 8,843 1,015 Updated Nov 1, 2023

A curated list of projects related to the reMarkable tablet

7,089 243 Updated Dec 10, 2025

Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…

Rust 6,798 618 Updated Dec 16, 2025

RFCs for changes to Rust

Markdown 6,351 1,650 Updated Dec 15, 2025

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

OCaml 6,093 1,192 Updated Dec 16, 2025

Low-level unprivileged sandboxing tool used by Flatpak and similar projects

C 5,223 270 Updated Aug 4, 2025

Next generation Cosmic desktop environment

Just 5,197 147 Updated Dec 15, 2025

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Rust 5,191 632 Updated Dec 10, 2025

A Linux desktop featuring a traditional layout, built from modern technology and introducing brand new innovative features.

JavaScript 5,170 806 Updated Dec 16, 2025

Emacs client/library for the Language Server Protocol

Emacs Lisp 5,038 951 Updated Dec 17, 2025

Jitsi is an audio/video and chat communicator that supports protocols such as SIP, XMPP/Jabber, IRC and many other useful features.

Java 4,306 986 Updated Jul 12, 2025

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

Rust 4,127 358 Updated Dec 16, 2025

🍊 Clementine Music Player

C++ 4,119 713 Updated Dec 14, 2025

KDE Connect implementation for GNOME

JavaScript 3,541 284 Updated Dec 15, 2025

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

3,030 172 Updated Nov 5, 2025

Recipes and build machinery for the biggest Emacs package repo

Emacs Lisp 2,896 2,637 Updated Dec 15, 2025

MirageOS is a library operating system that constructs unikernels

OCaml 2,794 262 Updated Nov 24, 2025

Online collaborative Whiteboard that is simple, free, easy to use and to deploy

JavaScript 2,528 471 Updated Dec 4, 2025

Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers

Rust 2,504 162 Updated Aug 29, 2025
Next