Skip to content
View nberth's full-sized avatar

Block or report nberth

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

OCaml Language Server Protocol implementation

OCaml 908 155 Updated Jun 21, 2026

One automated test generation tool to rule 'em all

OCaml 2 3 Updated Apr 14, 2026

Standard library for OCaml

OCaml 1,059 169 Updated May 18, 2026

The first ever roguelike written in the OCaml type system

OCaml 104 4 Updated Apr 2, 2025

Base library and tools for ppx rewriters

OCaml 298 104 Updated Jun 22, 2026

OCamlPro public development repository for Alt-Ergo

OCaml 147 37 Updated Jun 18, 2026

Declarative definition of command line interfaces for OCaml

OCaml 342 63 Updated Jun 9, 2026

Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and multi-scalar multiplications (MSM) in Hardcaml. Originally dev…

OCaml 63 5 Updated Jun 22, 2024

A composable build system for OCaml.

OCaml 1,888 481 Updated Jun 22, 2026

Context sensitive completion for OCaml in Vim and Emacs

OCaml 1,691 253 Updated Jun 22, 2026

Programming language for literate programming law specification

OCaml 2,324 102 Updated Jun 22, 2026

Library for binding to C libraries using pure OCaml

OCaml 410 101 Updated Nov 6, 2025

Advanced mpd widget for Awesome WM

Lua 1 Updated Jul 19, 2011

Advanced mpd widget for Awesome WM

Lua 55 27 Updated Oct 9, 2017