Skip to content
View nythrox's full-sized avatar
🌊
🌊
99 followers · 212 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Organizations

@hackclub @banurapp @FlutterUp @neetnewcyberia

Block or report nythrox

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 (10)

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

Starred repositories

13 stars written in OCaml
Clear filter

CatalaLang / catala

Programming language for literate programming law specification

OCaml 2,215 94 Updated Feb 4, 2026

matijapretnar / eff

A functional programming language based on algebraic effect handlers

OCaml 902 43 Updated Nov 10, 2025

ocaml-multicore / ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

OCaml 706 37 Updated Jul 5, 2024

riot-ml / riot

An actor-model multi-core scheduler for OCaml 5 🐫

OCaml 675 42 Updated Nov 13, 2024

ocaml-multicore / eio

Effects-based direct-style IO for multicore OCaml

OCaml 673 82 Updated Nov 4, 2025

ocaml-multicore / effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

OCaml 450 36 Updated May 18, 2024

rocq-prover / vsrocq

Visual Studio Code extension for Coq

OCaml 432 94 Updated Dec 10, 2025

janestreet / async

Jane Street Capital's asynchronous execution library

OCaml 232 23 Updated Jan 15, 2026

roddyyaga / ppx_rapper

Syntax extension for writing SQL in OCaml

OCaml 153 22 Updated Sep 1, 2025

ocaml-multicore / kcas

Software Transactional Memory for OCaml

OCaml 135 13 Updated Jun 14, 2025

Innf107 / polaris

A functional programming language with shell scripting capabilities

OCaml 131 3 Updated Dec 18, 2025

janestreet / ppx_let

Monadic let-bindings

OCaml 127 13 Updated Jan 15, 2026

janestreet / higher_kinded

A library with an encoding of higher kinded types in OCaml

OCaml 43 2 Updated Jan 15, 2026

Starred topics