← Trending

Tangerine Index lists products launched since ChatGPT and people's reactions to them.

cslib

github.com

The Lean Computer Science Library (CSLib)

LibraryOpen source

Visit github.comexternal siteGitHub801 starsexternal site

Reactions (1)

Similar products

by description similarity

  1. LeanDojo

    Tool for data extraction and interacting with Lean programmatically.

    GitHub852 starsgithub.comOpen sourcelatest reaction

  2. analysis

    A Lean companion to Analysis I

    GitHub1,983 starsgithub.comOpen sourcelatest reaction

  3. physlib

    A project to digitalise results from physics into Lean.

    GitHub829 starsgithub.comOpen sourcelatest reaction

  4. vibecosystem

    Profile-based coding runtime for Claude Code and Codex. Lean core; opt-in quality, context, memory, orchestration and dashboard.

    GitHub537 starsgithub.comOpen sourcelatest reaction

  5. core

    MoonBit's Core library

    GitHub1,245 starsgithub.comLibraryOpen sourcelatest reaction