The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

A code rewrite tool for structural search and replace that supports ~every language.

Tidy, feature-complete Web framework

Programming Languages Zoo

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

Compiler from OCaml to Javascript.

A functional programming language based on algebraic effect handlers

OCaml promises and concurrent I/O

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

Concurrent Programming with Effect Handlers

Effects-based direct-style IO for multicore OCaml

GraphQL servers in OCaml

Type-driven code generation for OCaml

A verification toolchain for Rust programs

Examples to illustrate the use of algebraic effects in Multicore OCaml

OCaml bindings for PyTorch

Visual Studio Code extension for Coq

The Ott tool for writing definitions of programming languages and calculi

😎TT

Jane Street Capital's asynchronous execution library

Coq to Rust program extraction. The whole tree is on the original Coq code base.

A hands-on tutorial on the new parallelism features in OCaml 5

Parallel Programming over Domains

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

Self-contained monadic parser combinators for OCaml

Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

An experimental type checker for a modal dependent type theory.

🦠 Reusable components based on algebraic effects

Parser Combinators of Monad