![kotlin logo](https://raw.githubusercontent.com/github/explore/4479d2a2c854198cb00160f8593519c14dc3b905/topics/kotlin/kotlin.png)
- Nantes
-
22:24
(UTC +02:00) - https://beltram.github.io/resume/
- @BeltramMaldant
Block or Report
Block or report beltram
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
A date-time library for Rust that encourages you to jump into the pit of success.
Codegen serialization logic for CBOR automatically from a CDDL specification
Concise data definition language (RFC 8610) implementation and JSON and CBOR validator in Rust
A template repository for Internet-Draft management
A cryptographically verifiable code review system for the cargo (Rust) package manager.
libSQL is a fork of SQLite that is both Open Source, and Open Contributions.
Hashing-function agnostic Cuckoo filters for Redis
Rust mid-level IR Abstract Interpreter
A secure, standard-conformant, easy to use JWT implementation for Rust.
The fast sync and async channel that Rust deserves
CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec
Cargo subcommand for viewing LLVM optimization remarks.
YugabyteDB - the cloud native distributed SQL database for mission-critical applications.
Fastest pure Rust implementation of LZ4 compression/decompression.
Collection of Key Encapsulation Mechanisms written in pure Rust
Heap profiling and ad hoc profiling for Rust programs.
This repository is the home of the River reverse proxy application, based on the pingora library from Cloudflare.
A library for building fast, reliable and evolvable network services.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.