Block or Report
Block or report sandoche
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
📖 The user manual for GitHub Copilot Workspace
Relive your early developer days by trying to exit Vim. Good luck!
A typescript package to execute javascript code in a webassembly quickjs sandbox
Create a web based terminal on any website - great for games, animations and real world apps!
🏓 The open-source synthetic monitoring platform 🏓
2x faster than JSON.stringify()
Agentless🐱: an agentless approach to automatically solve software development problems
Mini - A minimal Cosmos SDK chain template
Chat with an AI that knows everything about you. Record your screens & mics 24/7. You own your data. Rust. Library for devs to build AI apps on top of all your life data.
A bridge demo between Cosmos and Ethereum using IBC and LCP
A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 30.67% tasks (pass@1) in SWE-bench lite with each task costs less than $0.7.
Scroll is a language for scientists of all ages. Scroll includes a command line app that builds static blogs, websites, CSVs, text files, and more.
A modern JavaScript utility library that's 2-3 times faster and up to 97% smaller—a major upgrade to lodash.
Multilingual and Controllable Text-to-Speech Toolkit of the Speech and Language Technologies Group at the University of Stuttgart.
Positron, a next-generation data science IDE
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
The Nexus zkVM: The zero-knowledge virtual machine
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Perplexica is an AI-powered search engine. It is an Open source alternative to Perplexity AI