Repository Index

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

• compiler
• javascript
• altjs
• rescript

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

• ocaml
• compiler
• functional-language

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

• intel
• x86
• visualizer
• tracing

FUSE filesystem over Google Drive

• google-drive
• ocaml
• fuse
• filesystem

Unison file synchronizer

A language that compiles to Bash and Windows Batch

Public quant internship repository, maintained by NUFT but available for everyone.

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

• cryptocurrency
• blockchain
• ocaml
• zk-snarks

A composable build system for OCaml.

• build
• ocaml
• opam
• dune

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

Systems language with linear types and capability-based security.

• linear-types
• compiler
• capabilities

Terraform without the state file bottleneck

• automation
• cloud-management
• devops
• github-actions

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

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

• genealogy
• software
• web
• database

C Intermediate Language

A library for building dynamic webapps, using Js_of_ocaml.

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

OCaml library for reading, writing and modifying PDF files

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.

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

OCaml type-safe query builder with syntax tree extension

Nice parsers in OCaml without the boilerplate

• ocaml
• menhir
• boilerplate
• parsing

A Unicode library for OCaml