Typed, scope-aware LLM holes for the live Scala agent

A friendly fork of the Scala 3 compiler, for experimenting Python interop.

An always-running agent, but is trustworthy and secure.

The best-benchmarked open-source AI memory system. And it's free.

TACIT — Tracked Agent Capabilities In Types

Quick illustration of how one can easily read books together with LLMs. It's great and I highly recommend it.

Typechecked markdown documentation for Scala

Experimental compiler for capybara.

Scala Improvement Proposals

Semantic Type Soundness in Lean 4

Crane: Native macOS Desktop App for managing Apple's Containers (apple/container) CLI.

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Staging repo for development of native port of TypeScript

Enjoy iCloud's Hide My Email service in your favourite browser

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

A fast and lightweight native programming language

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

Soundness proof for System CC_<:□

A Foreign Function Interface (FFI) to cvc5 solver in Lean.

Getting Hy and then Lo with https://hylo-lang.org

Lean 4 programming language and theorem prover

Simulation platform for general-purpose robotics & embodied AI learning.

Your favorite language gets closer to bare metal.

A tactic in the lean prover to resolve goals that involve set operations

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

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

A collection of libraries maintained by LAMP.