Functional implementation of anti-unification algorithm for multiple terms

Flexible concrete Error type built on std::error::Error

Semantic Versioning Specification

Quickly rewrite git repository history (filter-branch replacement)

Smoothen your executables

High performance UI layout library in C.

My personal blog

Implementation of Defunctionalized Calculus of Constructions (Master thesis)

A simple supercompiler formally verified in Agda

Malfunctional Programming

Higher-Order Supercompiler

Demo for dependent types + runtime code generation

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

An implementation of the higher-order supercompilation algorithm as described in the paper "On the Termination of Higher-Order Positive Supercompilation"

Implementation of Higher Order Deforestation as described in the paper "Higher Order Deforestation"

Functional Algorithms Verified in SSReflect [maintainer=@clayrat]

An OCaml library for checked integer arithmetic

OCaml ppx to include binary data from a file as a string

Scripting language for Rust.

An obscure Minecraft mod about computer technology and electronics based on RVVM project

An higher-level LLVM binding for OCaml

OCaml hash-consing library

Rust interface to BoehmGC providing global allocator implementation that uses this GC

A command-line benchmarking tool

Parallel Programming over Domains

A library that adds the ability to test teloxide bots by bot mocking!

Delimited continuations in byte-code and native OCaml

Preprocessor metaprogramming knowledge obscurity chart

⛅ The right way to check the weather

Compiler front-end foundation technology.