Trending repositories

1.bcpierce00 / unison

Unison file synchronizer

2.rocq-prover / rocq

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 environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

3.meta / infer

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

• static-analysis
• static-code-analysis
• code-quality
• java
• c
• cpp
• +1 more

4.mirage / mirage

MirageOS is a library operating system that constructs unikernels

• mirageos
• unikernel
• xen
• kvm
• ocaml
• opam
• +1 more

5.rescript-lang / rescript

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

• compiler
• javascript
• altjs
• rescript

6.savonet / liquidsoap

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.

• liquidsoap
• streaming
• webradio

7.janestreet / core

Jane Street Capital's standard library overlay

8.stategraph / stategraph

Terraform without the state file bottleneck

• automation
• cloud-management
• devops
• github-actions
• infrastructure-as-code
• infrastructure-automation
• +7 more

9.ocaml / dune

A composable build system for OCaml.

• build
• ocaml
• opam
• dune
• jbuilder

10.reasonml / reason

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

• ocaml
• javascript
• reasonml
• reason
• programming-language

11.janestreet / base

Standard library for OCaml

12.meta / pyre-checkArchived

Performant type-checking for python.

• python
• typechecker
• type-check
• static-analysis
• ocaml
• code-quality
• +5 more

13.ocaml-multicore / eio

Effects-based direct-style IO for multicore OCaml

• concurrency
• effects
• io
• multicore
• ocaml

14.BinaryAnalysisPlatform / bap

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis
• dynamic-analysis
• program-verification
• +13 more

15.airbus-seclab / bincat

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

• ida-plugin
• taint-analysis
• reverse-engineering
• disassembly

16.ocaml / merlin

Context sensitive completion for OCaml in Vim and Emacs

• ocaml
• emacs
• vim
• atom

17.mirage / irmin

Irmin is a distributed database that follows the same design principles as Git

• ocaml
• git
• storage
• mirageos
• database
• irmin

18.geneweb / geneweb

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

• genealogy
• software
• web
• database
• family-tree
• graph
• +7 more

19.OCamlPro / owi

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter
• c
• constraints
• +13 more

20.owlbarn / owl

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

• matrix
• linear-algebra
• ndarray
• statistical-functions
• topic-modeling
• regression
• +14 more

21.ocaml / ocaml-lsp

OCaml Language Server Protocol implementation

22.janestreet / sexplib

Automated S-expression conversion

23.ocaml-ppx / ocamlformat

Auto-formatter for OCaml code

• ocaml

24.ott-lang / ott

The Ott tool for writing definitions of programming languages and calculi

25.ocaml-community / utop

Universal toplevel for OCaml

26.ygrek / mldonkey

cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)

• mldonkey
• ocaml-program
• p2p

27.dbuenzli / cmdliner

Declarative definition of command line interfaces for OCaml

28.c-cube / qcheck

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing
• ounit
• property-based-testing
• +3 more

29.mirage / alcotest

A lightweight and colourful test framework

• unit-testing
• ocaml

30.janestreet / incr_dom

A library for building dynamic webapps, using Js_of_ocaml.

31.LPCIC / coq-elpi

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog
• scripting

32.xapi-project / xen-api

The Xapi Project's XenAPI Server

33.rocq-community / rocq-lsp

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension
• interactive-theorem-proving
• language-server-protocol
• +2 more

34.ocaml-ppx / ppx_deriving

Type-driven code generation for OCaml

• deriving

35.formal-land / rocq-of-ocaml

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

36.lukaszcz / coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search
• theorem-prover
• verification
• +3 more

37.ahrefs / atd

Static types for JSON APIs

38.janestreet / ppx_expect

Cram like framework for OCaml

39.ocaml-community / yojson

Low-level JSON parsing and pretty-printing library for OCaml

• json
• ocaml
• yojson
• parser

40.ocaml / ocaml-re

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

• ocaml
• dfa
• regular-expression

41.ocaml-community / sedlex

An OCaml lexer generator for Unicode

42.inhabitedtype / angstrom

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

43.hirrolot / mazeppa

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language
• optimization
• performance
• +6 more

44.yallop / ocaml-ctypes

Library for binding to C libraries using pure OCaml

45.paurkedal / ocaml-caqti

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb
• postgresql
• sqlite
• +2 more

46.rocq-community / coq-dpdgraph

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

• coq
• dependency-graph
• dependency-analysis
• docker-coq-action
• coq-ci
• coq-platform

47.inhabitedtype / httpaf

A high performance, memory efficient, and scalable web server written in OCaml

• ocaml
• http

48.c-cube / ocaml-containers

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

• ocaml
• stdlib
• data-structure
• portable
• permissive-license
• modular
• +1 more

49.backtracking / ocamlgraph

OCaml graph library

50.ocaml-community / lambda-term

Terminal manipulation library for OCaml

• ocaml

51.johnwhitington / camlpdf

OCaml library for reading, writing and modifying PDF files

52.janestreet / core_kernel

Jane Street's standard library overlay (kernel)

53.anmonteiro / piaf

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

• http
• http2
• http-client
• https
• https-client
• ocaml
• +1 more

54.eWert-Online / OSnap

OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.

• diff
• snapshot-testing
• testing
• snapshot
• visual-regression-testing
• visual-comparison-testing
• +2 more

55.robur-coop / miou

A simple scheduler for OCaml 5

• effects
• ocaml
• parallelism
• scheduler

56.ocaml-batteries-team / batteries-included

Batteries Included project

57.LaurentMazare / ocaml-torch

OCaml bindings for PyTorch

• ocaml
• pytorch
• machine-learning
• artificial-intelligence
• neural-network
• tensor
• +2 more

58.ocaml-multicore / parallel-programming-in-multicore-ocaml

Tutorial on Multicore OCaml parallel programming with domainslib

• ocaml
• multicore

59.mirage / ocaml-rpc

Light library to deal with RPCs in OCaml

60.aantron / bisect_ppx

Code coverage for OCaml and ReScript

• coverage
• ocaml

61.hackwaly / ocamlearlybird

OCaml debug adapter

• debugger
• debug-adapter-protocol
• ocaml

62.smtcoq / smtcoq

Communication between Coq and SAT/SMT solvers

63.ocaml-ppx / ppx_deriving_yojson

A Yojson codec generator for OCaml.

• deriving
• json

64.tategakibunko / jingoo

OCaml template engine almost compatible with jinja2

• ocaml
• jinja2
• template-engine

65.mirage / ocaml-dns

OCaml implementation of the DNS protocol

• ocaml
• dns
• mirageos
• unikernel

66.formalsec / smtml

An SMT solver frontend for OCaml

• ocaml
• smt-lib
• symbolic-execution
• z3
• colibri2
• alt-ergo
• +4 more

67.MassD / 99

Famous 99 problems in OCaml

68.artagnon / rhine-mlArchived

🏞 an OCaml compiler for an untyped lisp

• programming-language
• ocaml
• llvm
• compiler

69.OCamlPro / drom

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

70.nrnrnr / qc--Archived

Quick C-- compiler (no longer maintained)

71.Khady / modern-ocaml

Template for an ocaml project with modern tooling

• ocaml

72.owainlewis / ocaml-datastructures-algorithms

Data structures and algorithms in OCaml

• ocaml
• data-structures
• algorithms

73.roddyyaga / ppx_rapper

Syntax extension for writing SQL in OCaml

• sql
• ocaml
• reasonml

74.mmottl / sqlite3-ocaml

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

75.ocaml-community / ocaml-mariadb

OCaml bindings to MariaDB, supporting the nonblocking API