Windows alt-tab on macOS

Every Code - push frontier AI to it limits. A fork of the Codex CLI with validation, automation, browser integration, multi-agents, theming, and much more. Orchestrate agents from OpenAI, Claude, G…

A curated list of awesome resources, tools, tutorials, and projects for building generative AI applications using Spring AI

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

NOF0 - 开源的 AI 交易竞技场

Nix overlay for Lean 4, and lake2nix

Catalog Of Math Problems Formalized In Lean

A Machine-to-Machine Interaction System for Lean 4.

Python client to interact with the lean4 language server.

Lean Theorem Prover MCP

The Lean Computer Science Library (CSLib)

gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI

Best Claude Code framework that actually save time. Built by a dev tired of typing "please act like a senior engineer" in every conversation.

Your Command-Line Research Paper Manager

A simple interface to GPIO devices with Raspberry Pi

An interactive theorem prover for string diagrams

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

Collections of awesome neovim plugins.

autopairs for neovim written in lua

RustBoyAdvance-NG is a Nintendo™ Game Boy Advance emulator and debugger, written in the rust programming language.

A tool for inverting and color correcting scanned film negatives, achieved by simulating the process of analog enlargement..

Towards richer dependent types for DOT

Friendly fork of Scala.js, target stand-alone Wasm leveraging WASI and Component Model

Branch of the spec repo scoped to discussion of GC integration in WebAssembly

List of all links you can try with ULX3S

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

White-box automation for Lean 4

Development repository for the Triton language and compiler