This repository contains examples to help on understanding what are and how to write PPXs in OCaml.

llama3 implementation one matrix multiplication at a time

Randomized Property-Based Testing Plugin for Coq

llmstep: [L]LM proofstep suggestions in Lean 4.

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

A tool-agnostic formal specification language for OCaml.

Don't let the cursor slow you down

Functional Monadic Library for Ocaml

A markup-based typesetting system that is powerful and easy to learn.

Code and documentation to train Stanford's Alpaca models, and generate the data.

A template for you to implement Hazelnut yourself

Tools for record-and-replay debugging

Selected Papers of Dana S. Scott

langcc: A Next-Generation Compiler Compiler

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

An NSF proposal template in LaTeX

Build system

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Standard ML of New Jersey

The Flix Programming Language

A next-generation IDE that makes programming more efficient

A Web Application for Learning OCaml

Interactively Visualizing Ownership and Borrowing for Rust

A massively parallel, optimal functional runtime in Rust

Poly/ML