Discover OCaml

1

semgrep

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

📣

2

hax

A Rust verification tool

⬆️

3

magic-trace

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

⬆️

4

SATySFi

A statically-typed, functional typesetting system

⬆️

5

book

V2 of Real World OCaml

⬆️

6

textbook

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

⬆️

7

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

⬆️

8

malfunction

Malfunctional Programming

⬆️

9

hello

A minimal OCaml project

⬆️

10

js_of_ocaml

Compiler from OCaml to Javascript.

⬆️

11

qcm-artifact

Quantum Control Machine

⬆️

12

cil

C Intermediate Language

⬆️

13

baby

A balanced binary search tree library for OCaml

⬆️

14

hol-light

The HOL Light theorem prover

⬆️

15

melange

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

⬆️

16

base

Standard library for OCaml

⬆️

17

polars-ocaml

⬆️

18

ocaml-lmdb

Ocaml bindings for lmdb.

⬆️

19

down

An OCaml toplevel (REPL) upgrade

⬆️

20

computope

A tool for manipulating weak omega-computopes

⬆️

21

hardcaml

Hardcaml is an OCaml library for designing hardware.

⬆️

22

oneffs

Single file filesystem for MirageOS - mirror

⬆️

23

ocaml

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

⬆️

24

ocaml-cid

Content-addressed identifiers in OCaml

⬆️

25

zed

Abstract engine for text edition in OCaml

⬆️

26

mirage-tcpip

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

⬆️

27

merge-fmt

Git mergetool leveraging code formatters.

⬆️

28

nqcc

A compiler for a tiny (but growing!) subset of C, written in OCaml.

⬆️

29

nqcc2

Reference implementation for Writing a C Compiler

⬆️