gretay-js Goto Github PK

asmutils

utilities for analyzing assembly files

bolt

Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries

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.

dune

A composable build system for OCaml.

flambda-backend

The Flambda backend project for OCaml

flambda2-opam

OPAM packages etc. for building with the Flambda 2 compiler

intrinsics-report

llvmize

magic-trace

Easy Intel Processor Trace Visualizer

merlin

Context sensitive completion for OCaml in Vim and Emacs

merlin-jst

Merlin with support for Jane Street extensions

microbench

mopsa-ocaml

ocaml

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

ocaml-compiler-libs

compiler libraries repackaged

ocaml-instr-freq

Count frequency of instruction groups in ocaml

ocaml-jst

OCaml plus Jane Street extensions

ocaml-migrate-parsetree

Convert OCaml parsetrees between different major versions

ocaml_intrinsics

Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on other targets.

ocamlcfg

ocamlfdo

Feedback-directed optimizer for OCaml

ocamlformat

Auto-formatter for OCaml code

opam-repository

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

owee

OCaml library to work with DWARF format

pat

patricia tree implementation

perfstatdiff

probes

rfcs

Design discussions about the OCaml language

shexp

Process library and s-expression based shell

tinybench