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.janestreet / core

Jane Street Capital's standard library overlay

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

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.janestreet / base

Standard library for OCaml

11.reasonml / reason

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

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

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.ocaml-community / utop

Universal toplevel for OCaml

25.ott-lang / ott

The Ott tool for writing definitions of programming languages and calculi

26.dbuenzli / cmdliner

Declarative definition of command line interfaces for OCaml

27.c-cube / qcheck

QuickCheck inspired property-based testing for OCaml.

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

28.mirage / alcotest

A lightweight and colourful test framework

• unit-testing
• ocaml

29.janestreet / incr_dom

A library for building dynamic webapps, using Js_of_ocaml.

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

31.ocaml-ppx / ppx_deriving

Type-driven code generation for OCaml

• deriving

32.xapi-project / xen-api

The Xapi Project's XenAPI Server

33.LPCIC / coq-elpi

Rocq plugin embedding Elpi

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

34.formal-land / rocq-of-ocaml

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

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

36.ahrefs / atd

Static types for JSON APIs

37.janestreet / ppx_expect

Cram like framework for OCaml

38.ocaml / ocaml-re

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

• ocaml
• dfa
• regular-expression

39.ocaml-community / yojson

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

• json
• ocaml
• yojson
• parser

40.inhabitedtype / angstrom

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

41.hirrolot / mazeppa

A modern supercompiler for call-by-value functional languages

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

42.yallop / ocaml-ctypes

Library for binding to C libraries using pure OCaml

43.paurkedal / ocaml-caqti

Cooperative-threaded access to relational data

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

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

45.inhabitedtype / httpaf

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

• ocaml
• http

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

47.ocaml-community / sedlex

An OCaml lexer generator for Unicode

48.ocaml-community / lambda-term

Terminal manipulation library for OCaml

• ocaml

49.johnwhitington / camlpdf

OCaml library for reading, writing and modifying PDF files

50.janestreet / core_kernel

Jane Street's standard library overlay (kernel)

51.anmonteiro / piaf

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

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

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

53.robur-coop / miou

A simple scheduler for OCaml 5

• effects
• ocaml
• parallelism
• scheduler

54.ocaml-batteries-team / batteries-included

Batteries Included project

55.LaurentMazare / ocaml-torch

OCaml bindings for PyTorch

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

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

Tutorial on Multicore OCaml parallel programming with domainslib

• ocaml
• multicore

57.backtracking / ocamlgraph

OCaml graph library

58.mirage / ocaml-rpc

Light library to deal with RPCs in OCaml

59.aantron / bisect_ppx

Code coverage for OCaml and ReScript

• coverage
• ocaml

60.hackwaly / ocamlearlybird

OCaml debug adapter

• debugger
• debug-adapter-protocol
• ocaml

61.smtcoq / smtcoq

Communication between Coq and SAT/SMT solvers

62.ocaml-ppx / ppx_deriving_yojson

A Yojson codec generator for OCaml.

• deriving
• json

63.tategakibunko / jingoo

OCaml template engine almost compatible with jinja2

• ocaml
• jinja2
• template-engine

64.mirage / ocaml-dns

OCaml implementation of the DNS protocol

• ocaml
• dns
• mirageos
• unikernel

65.formalsec / smtml

An SMT solver frontend for OCaml

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

66.MassD / 99

Famous 99 problems in OCaml

67.artagnon / rhine-mlArchived

🏞 an OCaml compiler for an untyped lisp

• programming-language
• ocaml
• llvm
• compiler

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

69.nrnrnr / qc--Archived

Quick C-- compiler (no longer maintained)

70.Khady / modern-ocaml

Template for an ocaml project with modern tooling

• ocaml

71.owainlewis / ocaml-datastructures-algorithms

Data structures and algorithms in OCaml

• ocaml
• data-structures
• algorithms

72.roddyyaga / ppx_rapper

Syntax extension for writing SQL in OCaml

• sql
• ocaml
• reasonml

73.mmottl / sqlite3-ocaml

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

74.ocaml-community / ocaml-mariadb

OCaml bindings to MariaDB, supporting the nonblocking API