The math library of Lean 4
(3,869 stars) (1,592 forks) (17 indexed issues) (17 open good first issues)
Repositories
Repositories
aviaviavi/org2Swift
Local-first context for humans, organizations, and agents. Org2 is an editor-agnostic, cross-platform successor to Emacs org-mode
(29 stars) (0 forks) (0 indexed issues) (0 open good first issues)
CharlesPikachu/freeproxyPython
FreeProxy: Collecting free proxies from internet. (全球海量高质量免费代理，支持爬取数十个免费代理分享源，支持自定义规则代理筛选，爬虫与数据分析必备，每日更新海量免费代理。)
(511 stars) (91 forks) (0 indexed issues) (0 open good first issues)
JKHeadley/instarTypeScript
Persistent Claude Code agents with scheduling, sessions, memory, and Telegram.
(76 stars) (18 forks) (0 indexed issues) (0 open good first issues)
elixir-lsp/elixir-lsElixir
A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"
(1,772 stars) (226 forks) (3 indexed issues) (3 open good first issues)
Edge-City/agentvillageTypeScript
AgentVillage: skills + onboarding for the Agent Village at Edge Esmeralda 2026
(12 stars) (4 forks) (0 indexed issues) (0 open good first issues)
(19 stars) (6 forks) (0 indexed issues) (0 open good first issues)
HarlonWang/loginbase-ktKotlin
Kotlin Multiplatform client for loginbase — email OTP + social OAuth + session management
(0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
le0pard/mpw.jsJavaScript
MPW.js is a JavaScript implementation of the Master Password App algorithm
(3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
lennylxx/webos-iptv-playerTypeScript
An IPTV player for LG webOS TVs
(41 stars) (9 forks) (0 indexed issues) (0 open good first issues)
justjavac/zhihu-trending-top-searchTypeScript
知乎热搜榜，记录从 2020-11-24 日开始的知乎热搜榜单。每小时抓取一次数据，按天归档。
(226 stars) (41 forks) (0 indexed issues) (0 open good first issues)
justjavac/weibo-trending-hot-searchTypeScript
微博热搜榜，记录从 2020-11-24 日开始的微博热门搜索。每小时抓取一次数据，按天归档。
(785 stars) (119 forks) (0 indexed issues) (0 open good first issues)
My vibe math results
(5 stars) (2 forks) (0 indexed issues) (0 open good first issues)
lazaronixon/input-otp-zeroJavaScript
One invisible input, any UI you can imagine. A zero-dependency one-time-password custom element for plain HTML, themed with CSS variables.
(0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
koala73/worldmonitorTypeScript
Real-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitoring, and infrastructure tracking in a unified situational awareness interface
(82,195 stars) (12,273 forks) (2 indexed issues) (0 open good first issues)
EnzymeAD/EnzymeLLVM
High-performance automatic differentiation of LLVM and MLIR.
(1,678 stars) (184 forks) (9 indexed issues) (9 open good first issues)
Rust-powered Svelte ecosystem
(199 stars) (7 forks) (0 indexed issues) (0 open good first issues)
kazupon/gh-changelogenTypeScript
Changelog generator for GitHub Releases
(19 stars) (0 forks) (0 indexed issues) (0 open good first issues)
kriscendobot/gardenShell
Like a garden, you reap what you sow, but mostly pull weeds.
(3 stars) (2 forks) (0 indexed issues) (0 open good first issues)
A Rust reimplementation of LaTeXML
(8 stars) (0 forks) (0 indexed issues) (0 open good first issues)