Disease Mechanisms KB

SQL and SQLite builds of OWL ontologies

DeepSeek Harness: Everything is a Plugin.

An evaluation and evolution tool for Agent Skills.

Algebrica is free and open a mathematical knowledge base dedicated to clarity, structure, and conceptual coherence.

open source test management system with over 2 million downloads!

💥💻💥 A data-parallel functional programming language

Lean 4 Markdown rendering library — types, rendering functions, and Represent typeclass

FFI for SDL3 in Lean

Generate verso files to document a file tree.

Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

WybeCoder Verified Generation of Imperative Code with LLMs

Build iOS apps with Lean

Write Python modules in Lean! (WIP)

Easy bindings between Lean and Python.

full featured async redis client for lean 4

HTTP router for Lean4

Lean 4 library and knowledge base for computational economics

Lean4: Total parser combinator library with do notation

An elegant Go coding agent, for more civilized times

Line-level provenance for text under agentic editing — who wrote this line, us or them? — derived from version history, not from markup in the file.

Compiler for ManiT, a systems language whose native number system is balanced ternary (−1, 0, +1). Two backends: LLVM for native execution today, and T3ISA — a ternary instruction set with assemble…

Emacs, SlopMAXXed.

Grammar Based Fuzzing For Lean 4 Prover