Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by ydewit

A curated list of projects in awesome lists by ydewit .

https://github.com/ydewit/lean-lldb

an LLDB extension for debugging Lean programs

lean4 lldb

Last synced: 18 Apr 2026