Trending
starred 2h ago
google-research/harness2
3,106
·
No description
starred 4h ago
tangency-labs/solidcraft
5,187
SolidCraft: an open-source parametric 3D CAD application built in pure Rust. Desktop, web, and…
starred 3 repos · 5h ago
austral/austral
1,590
Systems language with linear types and capability-based security.
valen-lang/Valen
584
Compiler for the Valen programming language
par-team/par-lang
800
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive…
starred 5h ago
fasouto/termaid
557
Render Mermaid diagrams in your terminal or Python app
starred 7h ago
google/artemis
12,240
ARTEMIS turns natural-language instructions into reliable Android automation. It automates…
starred 8h ago
Verilean/sparkle
154
A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for…
starred 9h ago
humanlayer/advanced-context-engineering-for-coding-agents
2,730
agent-substrate/substrate
5,458
Agent Substrate: the core system
ccoors/Valeronoi
484
A WiFi mapping companion app for Valetudo
lean-dojo/LeanCopilot
1,332
LLMs as Copilots for Theorem Proving in Lean
i2cjak/Backplane
625
Agentic hardware development with lawful, deterministic KiCad/STEP viewers, written in Bend
starred 11h ago
storytold/gridcraft
5,711
GridCraft: an open-source, clean-room spreadsheet (Microsoft Excel-style) in pure Rust. By ArtCraft.
starred 12h ago
morluto/rea
318,395
Reverse engineer anything with agents, from app behavior down to native binaries.
razvandimescu/numa
1,805
Portable DNS resolver in Rust — .numa local domains, ad blocking, developer overrides
starred 13h ago
antirez/c64-hw-simulator
345
Commodore 64 hardware simulator
alexgreensh/anidoodle
990
Art and animation, written as code. Illustrations, loops, interactive web art, launch-videos and…
webpro-nl/knip
12,475
✂️ Find unused files, dependencies and exports in your JavaScript and TypeScript projects. Knip it…
