OCaml notebooks as a WebComponent

Extremely fast non-cryptographic hash algorithm

VSCode extension for Skip

A library for probabilistic programming

Snóke is a good old Snake game with new ideas

Skip is a framework for building reactive services

An unofficial open-source client for skip.

TUI multiline fuzzy document finder

WhatsApp Parser Toolset v1.59

OCaml ctypes bindings to llama.cpp

High-velocity, monorepo-scale workflow for Git

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

This paper presents the first systematization of knowledge within these major blockchain protocols, understanding the common challenges and solutions, and providing a formal structure within which…

Guide pour l'ouverture des logiciels libres des organismes publics

The Gillian Platform main repository

Smart Contract Weakness Classification and Test Cases

OCaml library to work with DWARF format

OCaml<->Rust FFI with an emphasis on safety.

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

About Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violati…

Code using GADT

Code coverage for OCaml and ReScript

Irmin is a distributed database that follows the same design principles as Git

OCaml DSL for verifiable computation

A fast alternative to the modulo reduction

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

Gaining advanced insights from Git repository history.

Some files related to this internship.