We're building software to take back the Internet.
Pinned Loading
Repositories
Showing 10 of 75 repositories
- codex Public Forked from openai/codex
(Codex, lightly modded. Unofficial.) Lightweight coding agent that runs in your terminal
riffcc/codex’s past year of commit activity - llm-code-sdk Public
riffcc/llm-code-sdk’s past year of commit activity - tree-sitter-lean Public Forked from Julian/tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
riffcc/tree-sitter-lean’s past year of commit activity - Handy Public Forked from cjpais/Handy
A free, open source, and extensible speech-to-text application that works completely offline.
riffcc/Handy’s past year of commit activity - codex-desktop-linux Public Forked from ilysenko/codex-desktop-linux
(*UNOFFICIAL, and a fork) Run OpenAI Codex Desktop on Linux - automated installer
riffcc/codex-desktop-linux’s past year of commit activity - better-agentic-extended Public Forked from alvin-reyes/better-agentic-ide
Better Agentic Development Environment, Extended
riffcc/better-agentic-extended’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…