arbipher

llvm-ocaml-tutorial

The LLVM tutorial using OCaml

pandoc-acmart-template

actions-gh-pages

GitHub Actions for GitHub Pages 🚀 Deploy static files and publish your site easily. Static-Site-Generators-friendly.

arbipher.github.io

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.

ocaml

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

discourse_docker

A Docker image for Discourse

dot2tex

Convert graphs generated by Graphviz to LaTeX friendly formats

dota

Graphviz dot processing

FStar

A Proof-oriented Programming Language

lambda-term

Terminal manipulation library for OCaml

lascar

An OCaml library for manipulating Labeled Transition Systems

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

misc

mold

mold: A Modern Linker 🦠

ocaml-build-examples

ocaml-ctypes

Library for binding to C libraries using pure OCaml

ocaml-examples

ocaml-ir-zoo

ocaml_fairy_z3

An OCaml ppx to derive z3 datatype

ocamlfind

The OCaml findlib library manager

ocamlgraph

OCaml graph library

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opam-repository

Main public package repository for opam, the source package manager of OCaml.

ppxlib

Base library and tools for ppx rewriters

preface

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

teknogods.github.io

torch

vscode-ott

Ott Support for Visual Studio Code

z3

The Z3 Theorem Prover