Skip to content
View Rsync25's full-sized avatar
🎯
Focusing
🎯
Focusing
307 followers · 1.2k following

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx2

Highlights

Organizations

@Algenix-Org @quantum-labs-ai-ml

Block or report Rsync25

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

Lists (2)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

7 stars written in OCaml
Clear filter

janestreet / hardcaml

Hardcaml is an OCaml library for designing hardware.

OCaml 969 56 Updated Jan 15, 2026

cryspen / hax

A Rust verification tool

OCaml 372 49 Updated Feb 5, 2026

terrateamio / openinfraquote

Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files

OCaml 295 17 Updated Dec 21, 2025

LaurentMazare / btc-ocaml

A toy implementation of the bitcoin protocol in ocaml.

OCaml 35 4 Updated Dec 15, 2015

ocaml-multicore / domain-local-await

A scheduler independent blocking mechanism

OCaml 19 Updated Feb 15, 2024

flow / ocaml-vlq

A library to encode/decode numbers in OCaml.

OCaml 8 2 Updated Aug 25, 2021

flow / ocaml-sourcemaps

An ocaml implementation of JavaScript sourcemaps

OCaml 6 2 Updated Aug 25, 2021

Starred topics