samoht

VST

Verified Software Toolchain

hax

A Rust verification tool

stanc3

The Stan transpiler (from Stan to C++ and beyond).

create-melange-app

The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers

tree-sitter-ocaml

OCaml grammar for tree-sitter

codehawk

CodeHawk Abstract Interpretation Engine and Analyzers

illuaminate

Very WIP static analysis for Lua

atacama

Modern, pure OCaml socket pool for Riot

trail

Minimal composable server framework for Riot

fsocaml

Template repository for a full-stack OCaml web app

llama2.ml

Llama2 inference in one file of pure OCaml.

tty

A pure OCaml library for working with terminals

jsonschema2atd

Generate ATD types from a JSON schema / OpenAPI document

testo

Test framework for OCaml

chatty

a TUI app for chatting on Twitch

multicore-magic

Low-level multicore utilities for OCaml

sarif

Static Analysis Results Interchange Format (SARIF) For OCaml

eio-trace

Trace visualisation tool for Eio programs

sqids-ocaml

Official OCaml port of Sqids. Generate short unique IDs from numbers.

dune-compiledb

multicore-bench

Framework for benchmarking on multiple cores on current-bench

grid

parsley-lang

Parsley format definition language

ocaml-smithy

chat

CLI Chat Application in OCaml

ocaml-tar-playground

obatcher

A Framework for building Batched Concurrent Data Structures

li2

Tree/Label bracketting generator for English Sentences

monorobot

github monorepo bot - configurable directory tree notifications in slack

ocaml-ambient-context

Abstraction over thread/continuation/fibre/sequence-local storage mechanisms for implicit communication context-sharing between applications and their transitive dependencies