The open source coding agent
A comprehensive open source computer algebra system for computations
Lightweight static analysis for many languages
Open source no-code system for text annotation and building of text
The Zoo Design Studio app
Professional collaborative platform for embedded development
Laravel Pint is an opinionated PHP code style fixer for minimalists.
Dscover bugs in your code without running it!
UCI chess engine
Effortless data labeling with AI support from Segment Anything
Official code repo for the O'Reilly Book
Make Minecraft Java Edition mods, Minecraft Bedrock Edition Add-Ons
Generate type-safe code from SQL
A terminal for the web
The most widely used Python to C compiler
Foreign language reading and translation assistant
Type less, code more: Cody is an AI code assistant
It's not just a linter that annoys you!
A browser based code editor
An advanced, composable, functional reactive model-view-viewmodel
Open-source tool to enforce privacy & security best-practices
Deep Research framework, combining language models with tools
Protect your eyes from eye strain using this simple break reminder
The Lua development repository, as seen by the Lua team
DeepSeek Coder: Let the Code Write Itself