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,891 112 Updated Nov 1, 2024

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

Rust 5,189 632 Updated Dec 10, 2025

RFCs for changes to Rust

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

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

Rust 2,504 162 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

67 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 415 31 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 58 11 Updated Oct 15, 2025

WIP COSMIC terminal emulator

Rust 509 118 Updated Dec 16, 2025

kv - a C++ Library for Verified Numerical Computation

C++ 93 6 Updated Mar 15, 2025

Rust grid library

Rust 7 2 Updated Dec 2, 2025

the concurrent partitioner

Rust 15 5 Updated Jun 6, 2025

Python port of Entangled

Python 76 11 Updated Dec 16, 2025

Rust finite element definition library

Rust 7 1 Updated Dec 2, 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 314 55 Updated Aug 16, 2025

Defines the Rust borrow checker.

Rust 1,551 80 Updated Jun 6, 2025

The "p4est" forest-of-octrees library

C 288 128 Updated Sep 23, 2025

📦 shippable application packaging

Rust 1,881 122 Updated Dec 15, 2025

A terminal workspace with batteries included

Rust 27,645 881 Updated Dec 16, 2025

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

Python 116 57 Updated Apr 29, 2025

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

OCaml 701 112 Updated Nov 25, 2025

Rust grammar for tree-sitter

JavaScript 453 130 Updated Nov 24, 2025

A modern, extensible GitHub API Client for Rust.

Rust 1,289 314 Updated Dec 2, 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 23,032 2,268 Updated Dec 15, 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

Linear algebra package for rust-ndarray using LAPACK binding

Rust 431 88 Updated Nov 6, 2025
Next