Pinned Loading

1. user-management-api user-management-api Public

   Spring Boot 3 account service for registration, verified login, password recovery and admin CRUD; session auth, RBAC, one-use tokens, Bucket4j IP limits, PostgreSQL/H2 and sanitized log analysis.

   Java

2. pearl-proof pearl-proof Public

   C++17/ANTLR4 symbolic identity checker with a custom language and AST visitor; canonicalizes multivariate polynomials and proves rational-function equality exactly through cross-multiplication.

   C++

3. Bepo Bepo Public

   Local FastAPI visual-memory API storing photo metadata and CLIP image/text embeddings in SQLite; natural-language search ranks memories by cosine similarity, with notes, tags, mood and GPS context.

   Python

4. HDD HDD Public

   React 19/Vite Codeforces dashboard with contest timeline, rating-aware unsolved daily problems by tag and local Kotlin workspace; Express proxy rate-limits API calls and parses problem statements.

   JavaScript 1

5. doc-flow doc-flow Public

   Spring Boot 3 queued-job API with stateless JWT auth and project isolation; provides race-safe idempotent submissions, hashed/revocable API keys and PostgreSQL/Flyway job-attempt persistence.

   Java

6. grepink grepink Public

   Flutter/Riverpod notes-first PKM using SQLite FTS5, cited web evidence and configurable LLM providers; classifies new or conflicting claims into reviewable Markdown drafts that never auto-save.

   Dart