Skip to content
View dangdennis's full-sized avatar

Block or report dangdennis

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

Starred repositories

254 stars written in OCaml
Clear filter

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

OCaml 14,055 872 Updated Feb 6, 2026

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

OCaml 10,291 430 Updated Jan 21, 2026

Performant type-checking for python.

OCaml 7,145 452 Updated Feb 5, 2026

The core OCaml system: compilers, runtime system, base libraries

OCaml 6,168 1,197 Updated Feb 5, 2026

magic-trace collects and displays high-resolution traces of what a process is doing

OCaml 5,222 122 Updated Jan 14, 2026

MirageOS is a library operating system that constructs unikernels

OCaml 2,829 261 Updated Jan 27, 2026

Pack JS code fast & easy

OCaml 2,264 41 Updated Jan 7, 2023

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

OCaml 2,089 584 Updated Feb 5, 2026

Irmin is a distributed database that follows the same design principles as Git

OCaml 1,922 165 Updated Feb 5, 2026

A composable build system for OCaml.

OCaml 1,835 462 Updated Feb 6, 2026

Tidy, feature-complete Web framework

OCaml 1,816 154 Updated Jan 29, 2026

Context sensitive completion for OCaml in Vim and Emacs

OCaml 1,657 248 Updated Feb 2, 2026

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

OCaml 1,612 148 Updated Feb 5, 2026

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

OCaml 1,333 384 Updated Feb 4, 2026

Owl - OCaml Scientific Computing @ https://ocaml.xyz

OCaml 1,323 127 Updated Sep 23, 2025

V2 of Real World OCaml

OCaml 1,248 177 Updated Jul 8, 2024

Jane Street Capital's standard library overlay

OCaml 1,201 125 Updated Jan 15, 2026

Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.

OCaml 1,168 57 Updated Feb 3, 2026

🍬 a functional language for building type-safe, scalable, and maintainable applications

OCaml 1,096 26 Updated Sep 25, 2023

Standard library for OCaml

OCaml 1,007 160 Updated Jan 15, 2026

A library for incremental computations

OCaml 963 64 Updated Jan 15, 2026

A mixture of tooling combined to produce JavaScript from OCaml & Reason

OCaml 957 61 Updated Feb 5, 2026

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

OCaml 899 150 Updated Jan 26, 2026

OCaml Language Server Protocol implementation

OCaml 879 151 Updated Feb 5, 2026

Sinatra like web toolkit for OCaml

OCaml 784 72 Updated Jan 6, 2026

OCaml promises and concurrent I/O

OCaml 779 184 Updated Feb 3, 2026

An OCaml library for HTTP clients and servers using Lwt or Async

OCaml 770 185 Updated Jan 15, 2026

Multicore OCaml

OCaml 766 69 Updated Dec 9, 2022

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

OCaml 753 44 Updated Nov 13, 2023

Concurrent Programming with Effect Handlers

OCaml 706 37 Updated Jul 5, 2024
Next