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

Jump to things in Emacs tree-style

Emacs Lisp 1,865 111 Updated Nov 1, 2024

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

Rust 5,089 623 Updated Nov 7, 2025

RFCs for changes to Rust

Markdown 6,315 1,639 Updated Nov 8, 2025

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

Rust 2,488 165 Updated Aug 29, 2025

In collaboration with the Rust Foundation, Rust Project, and appropriate external stakeholders, make C++ and Rust interoperability easily accessible and approachable to the widest possible audience

66 2 Updated Nov 12, 2024

Rust wrapper for MFEM

Rust 16 1 Updated Apr 23, 2025

An Open-Source Machine Learning Framework in Rust Δ

Rust 414 33 Updated Jun 10, 2025

Rank Polymorphic array library for Rust.

Rust 103 3 Updated Jul 29, 2023

Code generation tool to generate mathematical libraries

Python 57 11 Updated Oct 15, 2025

WIP COSMIC terminal emulator

Rust 498 115 Updated Nov 7, 2025

kv - a C++ Library for Verified Numerical Computation

C++ 93 6 Updated Mar 15, 2025

Rust grid library

Rust 7 2 Updated Nov 5, 2025

the concurrent partitioner

Rust 15 4 Updated Jun 6, 2025

Python port of Entangled

Python 72 10 Updated Nov 7, 2025

Rust finite element definition library

Rust 6 1 Updated Nov 7, 2025

A package enabling the simple setup and solution of differential equations problems on quantum graphs.

HTML 4 1 Updated Aug 14, 2025

Delaunay Triangulations for the Rust Ecosystem

Rust 311 54 Updated Aug 16, 2025

Defines the Rust borrow checker.

Rust 1,535 78 Updated Jun 6, 2025

The "p4est" forest-of-octrees library

C 286 125 Updated Sep 23, 2025

📦 shippable application packaging

Rust 1,849 115 Updated Nov 8, 2025

A terminal workspace with batteries included

Rust 27,060 858 Updated Oct 31, 2025

The implementation exercise for the final year finite element course given in the Maths Department of Imperial College London

Python 114 56 Updated Apr 29, 2025

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

OCaml 694 109 Updated Oct 13, 2025

Rust grammar for tree-sitter

JavaScript 441 125 Updated Oct 20, 2025

A modern, extensible GitHub API Client for Rust.

Rust 1,270 310 Updated Nov 6, 2025

a very quick intro to rust syntax for those new to the language

JavaScript 155 19 Updated Jul 16, 2018

An incremental parsing system for programming tools

Rust 22,642 2,192 Updated Nov 7, 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,700 608 Updated Nov 8, 2025

Linear algebra package for rust-ndarray using LAPACK binding

Rust 428 90 Updated Nov 6, 2025
Next