Skip to content
View Jules-Bertholet's full-sized avatar

Organizations

@YunoHost-Apps

Block or report Jules-Bertholet

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust

TeX 29 Updated Apr 19, 2024

Scan your Rust crate for semver violations.

Rust 1,658 135 Updated Jul 20, 2026

Cargo command to create the README.md from your crate's documentation

Rust 217 12 Updated Jul 22, 2026

A safe, easy systems language

Rust 2,314 115 Updated Jul 21, 2026

Extending C with some Rust features

Rust 58 2 Updated Jul 23, 2026

The Android keyboard with every character ever

Kotlin 18 1 Updated Jan 30, 2026

Automatically generate MathML equivalents for math expressions in LuaLaTeX

Lua 12 2 Updated Jun 21, 2026

Polyfills for MathML features

Java 25 10 Updated Jun 25, 2026

Displayed width of Unicode characters and strings according to UAX#11 rules.

Rust 304 37 Updated Jul 14, 2026

A monospaced pixel font with a lo-fi, techy vibe

TypeScript 2,865 30 Updated May 25, 2025

Bayesian git bisect

Python 453 9 Updated May 25, 2026

A verification toolchain for Rust programs

OCaml 875 89 Updated Jul 23, 2026

Fully automatic censorship removal for language models

Python 26,661 2,912 Updated Jul 22, 2026

Run Windows apps on 🐧 Linux with ✨ seamless integration

TypeScript 22,019 685 Updated Jul 16, 2026

A very fast linker for Linux

Rust 3,793 125 Updated Jul 23, 2026

Kani Rust Verifier

Rust 3,242 157 Updated Jul 23, 2026

Convert LaTeX to MathML Core

Rust 39 2 Updated Jul 22, 2026

`ManuallyDrop` "owned field" pattern with no `unsafe`, no `.unwrap()`s, no macros

Rust 3 Updated May 14, 2026

Full resolution images of the O RLY book covers made by The Practical Dev

2,722 140 Updated Sep 5, 2020

A Tunnel which Improves your Network Quality on a High-latency Lossy Link by using Forward Error Correction, possible for All Traffics(TCP/UDP/ICMP)

C++ 5,156 862 Updated Jan 5, 2026

A collection of Rust code snippets which are interesting or weird

12 Updated Apr 25, 2023

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

Rust 2,555 124 Updated Jul 23, 2026

Port of OpenAI's Whisper model in C/C++

C++ 52,225 5,874 Updated Jul 11, 2026

A Rust framework for correct and performant distributed systems

Rust 1,267 85 Updated Jul 23, 2026

A datetime library for Rust that encourages you to jump into the pit of success.

Rust 2,778 106 Updated Jul 19, 2026

📈 The fastest (for very small maps!) alternative of Rust HashMap, which doesn't use hashing and doesn't use heap (aka "linear map")

Rust 212 18 Updated Jul 20, 2026

An active fork of curl-impersonate with more versions and build targets. A series of patches that make curl requests look like Chrome, Firefox and Safari.

Shell 2,648 141 Updated Jul 23, 2026

Cross compile Cargo project to Windows MSVC target with ease

Rust 610 52 Updated Jul 19, 2026

A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.

Rust 58,705 2,635 Updated Jul 23, 2026

A rust implementation of XKB

Rust 19 2 Updated Jul 15, 2026
Next