Popular repositories Loading

1. ai-tools ai-tools Public

   Forked from it-bens/ai-tools

   Shell 1

2. lean-ctx lean-ctx Public

   Forked from yvgude/lean-ctx

   LeanCTX (Lean Context) — context intelligence for AI agents. One local binary that decides what your agents read, remembers what they learn, guards what they touch, and proves what they save. 60–90…

   Rust 1

3. rtk rtk Public

   Forked from rtk-ai/rtk

   CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

   Rust 1

4. timesfm timesfm Public

   Forked from google-research/timesfm

   TimesFM (Time Series Foundation Model) is a pretrained time-series foundation model developed by Google Research for time-series forecasting.

   Python 1

5. scenery scenery Public

   Forked from matthewfdaniels/scenery

   JavaScript

6. connectFour connectFour Public

   What was originally a Java applet is now JS web app done with d3.js and require.js

   JavaScript