Trending repositories for language OCaml

Github test mirror of the Octez software. Please do not submit pull-requests here!

🌒 A TUI for GitHub

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

MirageOS is a library operating system that constructs unikernels

Performant type-checking for python.

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

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

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

The compiler for ReScript.

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

A proof assistant for higher-dimensional type theory

A Livesplit-inspired speedrunning split timer for Linux/macOS terminal. Supports global hotkeys.

A Rust verification tool

Serialization framework for OCaml

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

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

Unison file synchronizer

FUSE filesystem over Google Drive

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

🌒 A TUI for GitHub

Github test mirror of the Octez software. Please do not submit pull-requests here!

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

A proof assistant for higher-dimensional type theory

A Livesplit-inspired speedrunning split timer for Linux/macOS terminal. Supports global hotkeys.

A Rust verification tool

Serialization framework for OCaml

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

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

MirageOS is a library operating system that constructs unikernels

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

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

Performant type-checking for python.

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

The compiler for ReScript.

Unison file synchronizer

FUSE filesystem over Google Drive

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

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

🌒 A TUI for GitHub

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

Github test mirror of the Octez software. Please do not submit pull-requests here!

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

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

MirageOS is a library operating system that constructs unikernels

Unison file synchronizer

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

The compiler for ReScript.

Binary Analysis Platform

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...

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

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

FUSE filesystem over Google Drive

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

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

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

Performant type-checking for python.

Functional-style SQL query

Allow guest VMs to open windows on the host

🌒 A TUI for GitHub

Github test mirror of the Octez software. Please do not submit pull-requests here!

Functional-style SQL query

Allow guest VMs to open windows on the host

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

A verification toolchain for Rust programs

No description

TUI multiline fuzzy document finder

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

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

A proof assistant for higher-dimensional type theory

A Livesplit-inspired speedrunning split timer for Linux/macOS terminal. Supports global hotkeys.

Coq plugin embedding elpi

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

A Rust verification tool

Serialization framework for OCaml

✨ Zero Bullshit Git

The HOL Light theorem prover

Examples of simple MirageOS apps

The Frenetic Programming Language and Runtime System

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

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

The compiler for ReScript.

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

Unison file synchronizer

🌒 A TUI for GitHub

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

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

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

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...

Github test mirror of the Octez software. Please do not submit pull-requests here!

Performant type-checking for python.

MirageOS is a library operating system that constructs unikernels

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

Binary Analysis Platform

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

TUI multiline fuzzy document finder

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

FUSE filesystem over Google Drive

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

🌒 A TUI for GitHub

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

Functional-style SQL query

Github test mirror of the Octez software. Please do not submit pull-requests here!

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

Cerberus C semantics

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

A Rust verification tool

Allow guest VMs to open windows on the host

TUI multiline fuzzy document finder

A proof assistant for higher-dimensional type theory

A garden of small programming language implementations 🪴

Reference implementation for Writing a C Compiler

Ensure dune and opam dependencies are consistent

Nitrokey NetHSM system software and firmware

A verification toolchain for Rust programs

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

ReScript PPX which generates the JSON (de)serializers

No description

Pure OCaml HTTP 1.1/2 & WebSocket server for Riot

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

A fun little TUI framework for OCaml

A proof assistant for higher-dimensional type theory

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

A simple scheduler for OCaml 5

OCaml syntax dialect which adds JSX syntax expressions

Interoperable effects based concurrency

No description

OCaml Advent of Code starter project

DBCaml is a database library for OCaml

No description

Nitrokey NetHSM system software and firmware

🌒 A TUI for GitHub

OCaml game engine and Vampire Survivors inspired game

Modern, pure OCaml socket pool for Riot

Minimal composable server framework for Riot

2d game engine for OCaml

A Discord library written in OCaml, based on Eio

this probably isn't the droid you are looking for

No description

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

Programming language for literate programming law specification

Unison file synchronizer

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

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

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

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 compiler for ReScript.

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

Systems language with linear types and capability-based security.

Tidy, feature-complete Web framework

Performant type-checking for python.

FUSE filesystem over Google Drive

MirageOS is a library operating system that constructs unikernels

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

A fun little TUI framework for OCaml

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

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

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

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

A simple scheduler for OCaml 5

OCaml syntax dialect which adds JSX syntax expressions

No description

A Rust verification tool

A fun little TUI framework for OCaml

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

Modern, pure OCaml socket pool for Riot

Minimal composable server framework for Riot

No description

A type theory with native support for Polynomial Functors.

Template repository for a full-stack OCaml web app

A pure OCaml library for working with terminals

Transfer playlists seamlessly between spotify and apple music

2d game engine for OCaml

this probably isn't the droid you are looking for

A pure OCaml HTTP client for Riot

Render HTML, SVG, MathML, htmx markup from your OCaml Dream backend server

Render HTML with JSX

TUI multiline fuzzy document finder