Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels

The best ChatGPT that $100 can buy.

Lean theorem proving interface which feels like pen-and-paper proofs.

Formal verification of Alpenglow

Lean 4 programming language and theorem prover

Tool qualification tests and reports for the TLA+ model checker

Async RL Training at Scale

The TLA⁺ Proof Manager

APALACHE: symbolic model checker for TLA+ and Quint

DafnyBench: A Benchmark for Formal Software Verification

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

A tool for deductive verification of Python programs based on Dafny

The P programming language.

A gently curated list of companies using verification formal methods in industry

Opinionated Ubuntu Setup

Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code

The TypeScript MCP framework

Interoperability between input formats of various LLMs, with observability, error handling, etc. built in.

Your memories are in ChatGPT... But nowhere else. Universal Memory MCP makes your memories available to every single LLM. No logins or paywall. One command to set it up.

Track, analyze, and improve what LLMs are saying

Docmost is an open-source collaborative wiki and documentation software. It is an open-source alternative to Confluence and Notion.

Papers from the computer science community to read and discuss.

MOX is a fast, intelligent & open source email client

AI-powered, open-source platform to launch and manage marketing sites.

A refreshingly simple data-driven game engine built in Rust

Game Engine with cursor capabilities - Fork of Godot

Game engine with Cursor like capabilities

The TypeScript AI agent framework. ⚡ Assistants, RAG, observability. Supports any LLM: GPT-4, Claude, Gemini, Llama.

GritQL is a query language for searching, linting, and modifying code.

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one