arbipher Goto Github PK

actions-gh-pages

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

arbipher.github.io

book

V2 of Real World OCaml

checkedc-clang

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

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.

core_kernel

Jane Street's standard library overlay (kernel)

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

landmarks

A Simple Profiling Library for OCaml

lascar

An OCaml library for manipulating Labeled Transition Systems

llvm-ocaml-tutorial

The LLVM tutorial using OCaml

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.

mirage-www

Website infrastructure and content for mirage.io

misc

mold

mold: A Modern Linker 🦠

nanocaml

Nanopass for OCaml

ocaml

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

ocaml-build-examples

ocaml-ctfp

OCaml version of Category Theory For Programmers

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

ocamlverse.github.io

Documentation of everything relevant in the OCaml world

odefa

Implementation of DDPA and related program analyses.