Stars
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/
Fully Open Source FASOC generators built on top of open-source EDA tools
A markup-based typesetting system that is powerful and easy to learn.
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
Coding Agent singularly focused efficiency and context curation. Reduces API costs by 50-80% vs other agent AND improves the code quality at the same time. Uses Hash Anchored edits, massively paral…
ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of commands to manage your experiments, and results.
A JavaScript checker and optimizer.
a fast, scalable, multi-language and extensible build system
ARchitect helps non-technical users create Automated Reasoning policies from their document
Artifact related to my PhD thesis.
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
Imandra proofs of the Top 100 Theorems
Experimental vibe-coded prototype of a version-controlled database modeled on geometric logic (a superset of Datalog)
OpenTitan: Open source silicon root of trust
Put an end to code hallucinations! GitMCP is a free, open-source, remote MCP server for any GitHub project
Build and deploy AI Agents on Cloudflare
Server implementing the Microsoft Language Protocol for Ada and SPARK