← 트렌딩

Tangerine Index는 ChatGPT 이후 나온 프로덕트와 사람들의 반응을 싣습니다.

cslib

github.com

The Lean Computer Science Library (CSLib)

라이브러리오픈소스

github.com 방문외부 사이트GitHub801 스타외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. LeanDojo

    Tool for data extraction and interacting with Lean programmatically.

    GitHub스타 852github.com오픈소스최근 반응

  2. analysis

    A Lean companion to Analysis I

    GitHub스타 1,983github.com오픈소스최근 반응

  3. physlib

    A project to digitalise results from physics into Lean.

    GitHub스타 829github.com오픈소스최근 반응

  4. vibecosystem

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

    GitHub스타 537github.com오픈소스최근 반응

  5. core

    MoonBit's Core library

    GitHub스타 1,245github.com라이브러리오픈소스최근 반응