Set of contracts for the NEAR Intents project

A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions

Open-source implementation of AlphaEvolve

An API standard for multi-agent reinforcement learning environments, with popular reference environments and related utilities

Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.

A competitive programming tool to accelerate user journeys of competitive programmers and setters.

A curated learning repository focused on High-Performance Computing (HPC) — covering fundamentals to advanced topics in CUDA, MPI, C++, and Python-C++ interoperability.

A framework for few-shot evaluation of language models.

A collection of *arrs and related stuff.

SkyRL: A Modular Full-stack RL Library for LLMs

The Lean Computer Science Library (CSLib)

Kimina Lean server (+ client SDK)

Neovim support for the Lean theorem prover

AsyncSSH is a Python package which provides an asynchronous client and server implementation of the SSHv2 protocol on top of the Python asyncio framework.

verl: Volcano Engine Reinforcement Learning for LLMs

A sleek, single-button web portal for triggering any Home Assistant action (like opening a building door), protected by secure PIN authentication. Perfect for apartment buildings, offices, or any s…

A calendar application for Vim

An extremely fast Python type checker and language server, written in Rust.

A factory game automated by your code

Settlers of Catan Bot Simulator and Strong AI Player

Open Source Online Genealogy System

Mealie is a self hosted recipe manager and meal planner with a RestAPI backend and a reactive frontend application built in Vue for a pleasant user experience for the whole family. Easily add recip…

Verified algorithms in Lean, implemented and proved by AIs

A modern open-source online judge and contest platform system.

simple terminal UI for git commands

Modern Docker Management, Designed for Everyone