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

Terraform without the state file bottleneck

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

5.rescript-lang / rescript

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

• compiler
• javascript
• altjs
• rescript

6.mirage / mirage

MirageOS is a library operating system that constructs unikernels

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

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.reasonml / reason

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

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

9.ocaml / dune

A composable build system for OCaml.

• build
• ocaml
• opam
• dune
• jbuilder

10.janestreet / core

Jane Street Capital's standard library overlay

11.janestreet / base

Standard library for OCaml

12.ocaml-multicore / eio

Effects-based direct-style IO for multicore OCaml

• concurrency
• effects
• io
• multicore
• ocaml

13.meta / pyre-checkArchived

Performant type-checking for python.

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

14.BinaryAnalysisPlatform / bap

Binary Analysis Platform

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

15.janestreet / sexplib

Automated S-expression conversion

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

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

18.mirage / irmin

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

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

19.owlbarn / owl

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

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

20.ocaml / merlin

Context sensitive completion for OCaml in Vim and Emacs

• ocaml
• emacs
• vim
• atom

21.ocaml / ocaml-lsp

OCaml Language Server Protocol implementation

22.OCamlPro / owi

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

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

23.ocaml-community / utop

Universal toplevel for OCaml

24.ocaml-ppx / ocamlformat

Auto-formatter for OCaml code

• ocaml

25.ott-lang / ott

The Ott tool for writing definitions of programming languages and calculi

26.mirage / ocaml-cohttp

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

• ocaml
• http
• http-client
• lwt
• unix

27.janestreet / incr_dom

A library for building dynamic webapps, using Js_of_ocaml.

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

29.LPCIC / coq-elpi

Rocq plugin embedding Elpi

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

30.xapi-project / xen-api

The Xapi Project's XenAPI Server

31.formal-land / rocq-of-ocaml

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

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

33.yallop / ocaml-ctypes

Library for binding to C libraries using pure OCaml

34.ocaml-community / yojson

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

• json
• ocaml
• yojson
• parser

35.ygrek / mldonkey

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

• mldonkey
• ocaml-program
• p2p

36.mathiasbourgoin / Sarek

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

• spoc
• ocaml
• opencl
• cuda
• gpgpu

37.inhabitedtype / angstrom

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

38.inhabitedtype / httpaf

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

• ocaml
• http

39.c-cube / qcheck

QuickCheck inspired property-based testing for OCaml.

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

40.cil-project / cil

C Intermediate Language

41.paurkedal / ocaml-caqti

Cooperative-threaded access to relational data

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

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

Tutorial on Multicore OCaml parallel programming with domainslib

• ocaml
• multicore

43.ocaml / ocaml-re

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

• ocaml
• dfa
• regular-expression

44.hackwaly / ocamlearlybird

OCaml debug adapter

• debugger
• debug-adapter-protocol
• ocaml

45.janestreet / core_kernel

Jane Street's standard library overlay (kernel)

46.anmonteiro / piaf

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

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

47.janestreet / ppx_expect

Cram like framework for OCaml

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

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

50.ocaml-ppx / ppx_deriving

Type-driven code generation for OCaml

• deriving

51.mirage / alcotest

A lightweight and colourful test framework

• unit-testing
• ocaml

52.hirrolot / mazeppa

A modern supercompiler for call-by-value functional languages

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

53.LaurentMazare / ocaml-torch

OCaml bindings for PyTorch

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

54.ahrefs / atd

Static types for JSON APIs

55.dbuenzli / cmdliner

Declarative definition of command line interfaces for OCaml

56.aantron / bisect_ppx

Code coverage for OCaml and ReScript

• coverage
• ocaml

57.ocaml-community / lambda-term

Terminal manipulation library for OCaml

• ocaml

58.stevenvar / OMicroB

An OCaml generic virtual machine for microcontrollers

59.anuragsoni / routes

typed bidirectional router for OCaml/ReasonML web applications

• ocaml
• router
• http-router
• http-routing
• bidirectional

60.robur-coop / miou

A simple scheduler for OCaml 5

• effects
• ocaml
• parallelism
• scheduler

61.tategakibunko / jingoo

OCaml template engine almost compatible with jinja2

• ocaml
• jinja2
• template-engine

62.MassD / 99

Famous 99 problems in OCaml

63.LexiFi / lrt

LexiFi runtime types

64.ocaml-batteries-team / batteries-included

Batteries Included project

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

66.aantron / lambdasoup

Functional HTML scraping and rewriting with CSS in OCaml

• scraping
• html
• soup
• ocaml
• css

67.mirage / ocaml-git

Pure OCaml Git format and protocol

• git
• ocaml

68.mirleft / ocaml-tls

TLS in pure OCaml

• tls
• ocaml
• mirageos
• security

69.ocaml-community / sedlex

An OCaml lexer generator for Unicode

70.backtracking / ocamlgraph

OCaml graph library

71.frenetic-lang / frenetic

The Frenetic Programming Language and Runtime System

72.LexiFi / ocaml-vdom

Elm architecture and (V)DOM for OCaml

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

74.smtcoq / smtcoq

Communication between Coq and SAT/SMT solvers

75.ocaml-ppx / ppx_deriving_yojson

A Yojson codec generator for OCaml.

• deriving
• json

76.pyrocat101 / opal

Self-contained monadic parser combinators for OCaml

• parser-combinators
• parser-monad

77.mmottl / sqlite3-ocaml

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

78.mirage / ocaml-rpc

Light library to deal with RPCs in OCaml

79.Khady / modern-ocaml

Template for an ocaml project with modern tooling

• ocaml

80.formalsec / smtml

An SMT solver frontend for OCaml

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

81.Lelio-Brun / Obelisk

A simple multi-format pretty-printer for Menhir.

• ocaml
• menhir
• parser
• pretty-print
• latex

82.owainlewis / ocaml-datastructures-algorithms

Data structures and algorithms in OCaml

• ocaml
• data-structures
• algorithms

83.whitequark / ocaml-m17n

Multilingualization for the OCaml source code

84.komamitsu / oraft

Library of Raft consensus algorithm implemented in OCaml

• ocaml
• raft-consensus-algorithm
• raft
• consensus-algorithm

85.ck090 / ocaml-nn

Fully functional implementation of FCNNs with Back Prop

86.affeldt-aist / rocqnavi

An HTML documentation generator for Rocq source files