Discover OCaml

1

semgrep

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

🔥🔥🔥

2

unison

Unison file synchronizer

🔥

3

obatcher

A Framework for building Batched Concurrent Data Structures

🔥

4

bincat

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

🔥

5

melange

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

🔥

6

hol-light

The HOL Light theorem prover

📣

7

coq

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 development of machine-checked proofs.

📣

8

magic-trace

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

📣

9

blogger

📣

10

octane.ml

The fastest, hottest

📣

11

ocaml

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

📣

12

polaris

A functional programming language with shell scripting capabilities

📣

13

hardcaml

Hardcaml is an OCaml library for designing hardware.

📣

14

hax

A Rust verification tool

📣

15

gamelle

2d game engine for OCaml

📣

16

js_of_ocaml

Compiler from OCaml to Javascript.

📣

17

pyre-check

Performant type-checking for python.

📣

18

dune

A composable build system for OCaml.

📣

19

SATySFi

A statically-typed, functional typesetting system

📣

20

comby

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

📣

21

docfd

TUI multiline fuzzy document finder

⬆️

22

cmarkit

CommonMark parser and renderer for OCaml

⬆️

23

tlstunnel

A TLS reverse proxy unikernel

⬆️

24

rust-staticlib-gen

A tool to generate static library with all transitive Rust dependencies of an OCaml project

⬆️

25

proofchat

A verified(?) TCP client/server chat application

⬆️

26

bogue

GUI library for ocaml based on SDL2

⬆️

27

book

V2 of Real World OCaml

⬆️

28

jj_tui

A TUI for the Jujutsu version control system

⬆️

29

textbook

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

⬆️

30

nqcc2

Reference implementation for Writing a C Compiler

⬆️

31

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

⬆️

32

s2n-bignum

⬆️

33

tagit

Generate SEO-friendly tags and descriptions for blog posts using LLMs

⬆️

34

type-systems

Implementations of various type systems in OCaml.

⬆️

35

mirage

MirageOS is a library operating system that constructs unikernels

⬆️

36

khasmc

A functionally based programming language with builtin memoization.

⬆️

37

split-arrow

An alternative presentation of arrows

⬆️

38

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.

⬆️

39

merlin

Context sensitive completion for OCaml in Vim and Emacs

⬆️

40

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

⬆️

41

links

Links: Linking Theory to Practice for the Web

⬆️

42

http-lwt-client

A HTTP client using HTTP/AF and lwt

⬆️

43

ligo

⬆️

44

melange-tea

⬆️

45

riot

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

⬆️

46

narya

A proof assistant for higher-dimensional type theory

⬆️

47

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

⬆️

48

tlapm

The TLA Proof Manager

⬆️

49

cil

C Intermediate Language

⬆️

50

f-omega-mu

Fωμ type checker and compiler

⬆️

51

vcaml

OCaml bindings for the Neovim API

⬆️

52

pyml

OCaml bindings for Python

⬆️

53

hello

A minimal OCaml project

⬆️

54

ATLGT

Bidirectional version of ATL on top of the GRoundTram transformation engine

⬆️

55

soupault

Static website generator based on HTML element tree rewriting

⬆️

56

ocaml-playlist-transfer

Transfer playlists seamlessly between spotify and apple music

⬆️

57

type-systems

Playing with type systems

⬆️

58

cameleer

A Deductive Verification Tool for OCaml Programs

⬆️

59

create-melange-app

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

⬆️

60

coc

Calculus of Constructions Implementation

⬆️

61

c2bf

Compiler from C to brainfuck

⬆️

62

ppx_import

Less redundancy in type declarations and signatures

⬆️

63

sparrow

The Sparrow Static Analyzer

⬆️

64

spdx_licenses

⬆️

65

bap

Binary Analysis Platform

⬆️

66

infer

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

⬆️

67

qcm-artifact

Quantum Control Machine

⬆️

68

multicore-bench

Framework for benchmarking on multiple cores on current-bench

⬆️

69

dream-livereload

Live reloading for Dream applications

⬆️

70

elf2json

Converts an ELF binary to a JSON representation

⬆️

71

ocaml-flap

A deterministic parser with fused lexing

⬆️

72

mlsub

Prototype type inference engine

⬆️

73

ppxlib

Base library and tools for ppx rewriters

⬆️

74

clerical

Command-like expressions for real infinite-precision calculations

⬆️

75

minttea

A fun little TUI framework for OCaml

⬆️

76

makam

The Makam Metalanguage

⬆️

77

flow

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

⬆️

78

sqlite3-ocaml

OCaml bindings to the SQLite3 database

⬆️

79

ott

The Ott tool for writing definitions of programming languages and calculi

⬆️

80

Batsh

A language that compiles to Bash and Windows Batch

⬆️

81

baby

A balanced binary search tree library for OCaml

⬆️

82

tezos-mirror

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

⬆️

83

ppx_deriving

Type-driven code generation for OCaml

⬆️

84

mina

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

⬆️

85

nethsm

Nitrokey NetHSM system software and firmware

⬆️

86

flambda-backend

The Flambda backend project for OCaml

⬆️

87

ocaml-ec

Play with elliptic curves in OCaml

⬆️

88

ocaml-ff

⬆️

89

mirage-tcpip

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

⬆️

90

playground-k8s

just playing with minikube

⬆️

91

yocaml

YOCaml is a static site generator, mostly written in OCaml

⬆️

92

bin2json

Converts ELF, mach-o, or PE binaries to a JSON representation

⬆️

93

cs208-logic

Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)

⬆️

94

ocaml-lmdb

Ocaml bindings for lmdb.

⬆️

95

vg

Declarative 2D vector graphics for OCaml

⬆️

96

Writing-An-Interpreter-In-Go-In-OCaml

InterpreterInGo In Ocaml

⬆️

97

ppx_expect

Cram like framework for OCaml

⬆️

98

ocamlformat

Auto-formatter for OCaml code

⬆️

99

vscoq

A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]

⬆️

100

dice

Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

⬆️