Some benchmarks of different languages

Simple programming language, statically typed and compiled to JVM bytecode

Lightweight coding agent that runs in your terminal

A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

If T: Benchmark for Type Narrowing

"Trust no one, bench everything." - sbt plugin for JMH (Java Microbenchmark Harness)

https://openjdk.org/projects/code-tools/jmh

Semantic Type Soundness in Lean 4

the WebAssembly partial evaluator

Landing page for capture checking.

Experimental compiler for capybara.

Invariant Generation as Type Inference with GADTs and Existentials

Aeon programming language

⛓ Extract web links information: title, description, images, videos, etc. [via OpenGraph], runs on mobiles and node.

Debugging WebAssembly? Put some Whamm! on it.

Research WebAssembly Engine

Experimental type-safe off-heap memory for Scala.

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

Verified Rust for low-level systems code

Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.

LeanInteract: A Python Interface for Lean 4

Extremely Linear Git History // git-linearize

Modify deeply nested case class fields

Verification framework and tool for higher-order Scala programs

A strawman for a low-level async library in Scala 3.

Backend of Occupancy FLEP, an interface of edu.epfl.ch useful for finding free rooms or schedule by studyplan, at EPFL.

Framework for testing concurrent code on JVM languages

Run compilers interactively from your web browser and interact with the assembly