Stars
Solver for higher-order functional programs, used by Stainless
A Verified Compiler for Gallina, Written in Gallina
An Rocq plugin to extract code to scala
A native iOS client for tmux and herdr, designed to feel natural on iPhone.
upload big files to Zenodo using cURL, jq and bash
pgilliar / scala3-compiler-sjs
Forked from scala/scala3The Scala 3 compiler, also known as Dotty.
Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
Coq'Stats is a program to get statistics about Coq projects
Linyxus / pl-deadlines
Forked from paperswithcode/ai-deadlines⏰ 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
Coq plugin for extracting Rust code
An extremely fast Python package and project manager, written in Rust.
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++.
"Trust no one, bench everything." - sbt plugin for JMH (Java Microbenchmark Harness)