Agda is a dependently typed programming language
IntelliJ IDEA & IntelliJ Platform
Free, open-source text editor
A tool to automatically fix PHP Coding Standards issues
Chinese version of Google open source project style guide
A cross-platform desktop All-in-One assistant tool for Claude Code
Lightweight modular front-end framework for developing web interfaces
Dependency Manager for PHP
Atom's iconic One Dark theme for Visual Studio Code
A simple Atom/RSS parsing library for PHP
Live Source
A simple and elegant markdown editor
.NET Decompiler with support for PDB generation, ReadyToRun, Metadata
Arduino IDE library
Collection of modular and reusable compiler and toolchain technologies
A Cloud Native Batch System (Project under CNCF)
Small python-gtk application, to merge or split PDFs
Qt based cross-platform GUI proxy configuration manager
Unity / XNA game patcher and plugin framework
Local infinite canvas plugin for Codex
The open source Firebase alternative
Lean 4 programming language and theorem prover
A dark Vim/Neovim color scheme
The Microsoft Build Engine (MSBuild) build platform for .NET and VS
A framework to build Pokémon RPG games