Skip to content
View cmcmA20's full-sized avatar
14 followers · 180 following

Block or report cmcmA20

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

Stars

9 stars written in OCaml
Clear filter

mirage / mirage

MirageOS is a library operating system that constructs unikernels

OCaml 2,830 262 Updated Jan 27, 2026

Andromedans / andromeda

A proof assistant for general type theories

OCaml 310 35 Updated Aug 9, 2025

hannesm / jackline

minimalistic secure XMPP client in OCaml

OCaml 253 19 Updated Oct 21, 2024

gwaithimirdain / narya

A proof assistant for higher-dimensional type theory

OCaml 233 19 Updated Jan 26, 2026

mirage / qubes-mirage-firewall

A Mirage firewall VM for QubesOS

OCaml 230 29 Updated Nov 13, 2025

andrejbauer / faux-type-theory

OCaml 47 3 Updated Jan 30, 2026

ToposInstitute / polytt

A type theory with native support for Polynomial Functors.

OCaml 41 3 Updated Oct 8, 2023

adrieng / pulsar

Experimental functional language

OCaml 16 Updated Dec 24, 2025

ElifUskuplu / narya

Forked from gwaithimirdain/narya

A proof assistant for higher-dimensional type theory

OCaml 3 Updated Aug 16, 2025