Trending repositories for language OCaml

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...

Unison file synchronizer

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

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

A static analyzer for Java, C, C++, and Objective-C

A functional programming language with shell scripting capabilities

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

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

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

The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...

Build reactive web interfaces in OCaml.

🌒 A TUI for GitHub

The fastest, hottest

OCaml promises and concurrent I/O

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

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.

Performant type-checking for python.

DBCaml is a database library for OCaml

Reference implementation for Writing a C Compiler

Render HTML, SVG, MathML, htmx markup from your OCaml app

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...

The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...

A functional programming language with shell scripting capabilities

Build reactive web interfaces in OCaml.

🌒 A TUI for GitHub

The fastest, hottest

DBCaml is a database library for OCaml

Reference implementation for Writing a C Compiler

Render HTML, SVG, MathML, htmx markup from your OCaml app

Web library for OCaml with support for HTTP/1.X / HTTP/2

A verification toolchain for Rust programs

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

Visual Studio Code extension for Coq

OCaml promises and concurrent I/O

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

A modern supercompiler for call-by-value functional languages

Unison file synchronizer

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

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

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.

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

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

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...

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

Unison file synchronizer

A modern supercompiler for call-by-value functional languages

A static analyzer for Java, C, C++, and Objective-C

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive developme...

FUSE filesystem over Google Drive

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

The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...

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

OCaml .mlx syntax dialect which adds JSX syntax expressions

Reference implementation for Writing a C Compiler

Performant type-checking for python.

A functional programming language with shell scripting capabilities

moved from https://sourceforge.net/p/min-caml/code/

OCaml promises and concurrent I/O

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

MirageOS is a library operating system that constructs unikernels

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...

The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...

A Boulder Dash clone in OCaml

A declarative command-line parser for OCaml

A TUI for the Jujutsu version control system

OCaml .mlx syntax dialect which adds JSX syntax expressions

A functional programming language with shell scripting capabilities

Reference implementation for Writing a C Compiler

The fastest, hottest

A modern supercompiler for call-by-value functional languages

Build reactive web interfaces in OCaml.

🌒 A TUI for GitHub

DBCaml is a database library for OCaml

A verification toolchain for Rust programs

Virt-v2v converts guests from foreign hypervisors to run on KVM

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

A parametric generator for designing split, concave, ergonomic keyboards written in ocaml.

moved from https://sourceforge.net/p/min-caml/code/

Syntax extension for writing in-line tests in ocaml code

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

A Boulder Dash clone in OCaml

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

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

Unison file synchronizer

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

A static analyzer for Java, C, C++, and Objective-C

The fastest, hottest

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive developme...

FUSE filesystem over Google Drive

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...

MirageOS is a library operating system that constructs unikernels

The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...

A Rust verification tool

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

Adds static typing to JavaScript to improve developer productivity and code quality.

Performant type-checking for python.

A modern supercompiler for call-by-value functional languages

A fun little TUI framework for OCaml

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.

A Boulder Dash clone in OCaml

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...

The fastest, hottest

A Boulder Dash clone in OCaml

The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...

A TUI for the Jujutsu version control system

A frontend for multiple SMT solvers in OCaml

A declarative command-line parser for OCaml

A minimal implementation of Hindley-Milner's Algorithm J in OCaml

No description

A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints

🌒 A TUI for GitHub

A Rust verification tool

Reference implementation for Writing a C Compiler

Interoperable effects based concurrency

Build reactive web interfaces in OCaml.

CodeHawk Abstract Interpretation Engine and Analyzers

Mini elm-inspired utilities for Ocaml CLI applications

A verification toolchain for Rust programs

OCaml .mlx syntax dialect which adds JSX syntax expressions

OCaml code generator and runtime library for handling typed tree-sitter CSTs

A modern supercompiler for call-by-value functional languages

A fun little TUI framework for OCaml

The fastest, hottest

Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

🌒 A TUI for GitHub

DBCaml is a database library for OCaml

OCaml Advent of Code starter project

No description

2d game engine for OCaml

Nitrokey NetHSM system software and firmware

The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...

No description

Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...

A TUI for the Jujutsu version control system

Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.

Automatically generates OCaml FFI bindings and C shim code to C/C++ libraries

Toy autograd engine in OCaml with Apple Accelerate backend

Template repository for a full-stack OCaml web app

A pure OCaml HTTP client for Riot

No description

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

Unison file synchronizer

An engine for displaying slips, the next-gen version of slides

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

A static analyzer for Java, C, C++, and Objective-C

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

An actor-model multi-core scheduler for OCaml 5 🐫

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive developme...

The fastest pixel-by-pixel image visual difference tool in the world.

FUSE filesystem over Google Drive

A modern supercompiler for call-by-value functional languages

A fun little TUI framework for OCaml

MirageOS is a library operating system that constructs unikernels

Performant type-checking for python.

Systems language with linear types and capability-based security.

Tidy, feature-complete Web framework

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

A composable build system for OCaml.

A Rust verification tool

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

An engine for displaying slips, the next-gen version of slides

Reference implementation for Writing a C Compiler

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

Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

No description

A fun little TUI framework for OCaml

A modern supercompiler for call-by-value functional languages

2d game engine for OCaml

Template repository for a full-stack OCaml web app

Pure OCaml HTTP 1.1/2 & WebSocket server for Riot

Minimal composable server framework for Riot

A declarative command-line parser for OCaml

A Rust verification tool

A pure OCaml library for working with terminals

Modern, pure OCaml socket pool for Riot

A pure OCaml HTTP client for Riot

A frontend for multiple SMT solvers in OCaml

OCaml bindings to macOS and iOS Cocoa frameworks

An actor-model multi-core scheduler for OCaml 5 🐫

A fancy diagnostics library that allows your compilers to exit with grace