⏰ AI conference deadline countdowns

mimalloc is a compact general purpose allocator with excellent performance.

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

Pandoc filter for cross-references

Rust bindings for the Z3 solver.

egraphs + datalog!

Coq plugin for extracting Rust code

An extremely fast Python package and project manager, written in Rust.

Some benchmarks of different languages

Licorne is an experimental programming language exploring refinement types and language-based support for lightweight verification

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

Programming Language designed for Program Synthesis with SMT-validation.

⛓ 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