Lightweight coding agent that runs in your terminal
Like openai/codex, 2 likes 2 Bookmark openai/codex, 2 bookmarks 2 The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Like unionlabs/union, 0 likes 0 Bookmark unionlabs/union, 0 bookmarks 0 Framework to prove inference of ML models blazingly fast
Like Lagrange-Labs/deep-prove, 0 likes 0 Bookmark Lagrange-Labs/deep-prove, 0 bookmarks 0 HelixDB is an OLTP graph database with native vector and full-text search built in Rust on Object Storage.
Like HelixDB/helix-db, 0 likes 0 Bookmark HelixDB/helix-db, 0 bookmarks 0 Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.
Like neondatabase/neon, 0 likes 0 Bookmark neondatabase/neon, 0 bookmarks 0 An extremely fast Python package and project manager, written in Rust.
Like astral-sh/uv, 0 likes 0 Bookmark astral-sh/uv, 0 bookmarks 0 Distributed SQL database in Rust, written as an educational project
Like erikgrinaker/toydb, 0 likes 0 Bookmark erikgrinaker/toydb, 0 bookmarks 0 An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
Like rustdesk/rustdesk, 0 likes 0 Bookmark rustdesk/rustdesk, 0 bookmarks 0 A fast type checker and language server for Python
Like facebook/pyrefly, 0 likes 0 Bookmark facebook/pyrefly, 0 bookmarks 0 Open source Granola AI Alternative
Like fastrepl/anarlog, 0 likes 0 Bookmark fastrepl/anarlog, 0 bookmarks 0 playwright for windows computer use
Like mediar-ai/terminator, 0 likes 0 Bookmark mediar-ai/terminator, 0 bookmarks 0 🤱🏻 Turn any webpage into a desktop app with one command.
Like tw93/Pake, 0 likes 0 Bookmark tw93/Pake, 0 bookmarks 0 Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Like zed-industries/zed, 1 like 1 Bookmark zed-industries/zed, 0 bookmarks 0 Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl
Like makepad/makepad, 0 likes 0 Bookmark makepad/makepad, 0 bookmarks 0 A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.
Like tursodatabase/turso, 0 likes 0 Bookmark tursodatabase/turso, 0 bookmarks 0 A Privacy-first, Cross-platform Text Expander written in Rust
Like espanso/espanso, 0 likes 0 Bookmark espanso/espanso, 0 bookmarks 0 A Git-compatible VCS that is both simple and powerful
Like jj-vcs/jj, 0 likes 0 Bookmark jj-vcs/jj, 0 bookmarks 0 Main repository for the Linera protocol
Like linera-io/linera-protocol, 0 likes 0 Bookmark linera-io/linera-protocol, 0 bookmarks 0 An extremely fast Python linter and code formatter, written in Rust.
Like astral-sh/ruff, 0 likes 0 Bookmark astral-sh/ruff, 0 bookmarks 0 A post-modern modal text editor.
Like helix-editor/helix, 0 likes 0 Bookmark helix-editor/helix, 0 bookmarks 0 The VIM editor reinvented in Rust+TypeScript.
Like rsvim/rsvim, 0 likes 0 Bookmark rsvim/rsvim, 0 bookmarks 0 A scrollable-tiling Wayland compositor.
Like niri-wm/niri, 0 likes 0 Bookmark niri-wm/niri, 0 bookmarks 0 Rust GUI components for building fantastic cross-platform desktop application by using GPUI.
Like longbridge/gpui-kit, 0 likes 0 Bookmark longbridge/gpui-kit, 0 bookmarks 0 A markup-based typesetting system that is powerful and easy to learn.
Like typst/typst, 0 likes 0 Bookmark typst/typst, 0 bookmarks 0 modular service framework to move and transform network packets
Like plabayo/rama, 0 likes 0 Bookmark plabayo/rama, 0 bookmarks 0