Skip to content
View ligurio's full-sized avatar
💥
💥
396 followers · 488 following

Organizations

@tarantool @luafun @sqaunderhood

Block or report ligurio

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

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

Starred repositories

9 stars written in OCaml
Clear filter

c-cube / qcheck

QuickCheck inspired property-based testing for OCaml.

OCaml 391 44 Updated Dec 19, 2025

geneweb / geneweb

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

OCaml 364 111 Updated Dec 19, 2025

Frama-C / Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis

OCaml 179 39 Updated Oct 21, 2020

mmottl / pure-fun

Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"

OCaml 153 17 Updated Nov 28, 2025

uds-psl / Prog

OCaml 90 13 Updated Feb 5, 2022

qnighy / ipc_solver

O(N log N)-space IPC solver in OCaml

OCaml 53 2 Updated Apr 4, 2023

jubnzv / moonsmith

A random generator of Lua programs

OCaml 12 1 Updated Nov 1, 2021

kiranlak / austin-sbst

Automatically exported from code.google.com/p/austin-sbst

OCaml 8 Updated Mar 31, 2015

pilki / coq2tex

Produce LaTeX code from Coq

OCaml 3 1 Updated Feb 5, 2012

Starred topics

See all starred topics