Static type checker for Python
Cloud & Desktop IDE Platform
The Fast, Free, Modern MATLAB / Octave code runtime
Azure Quantum Development Kit
Create WordPress themes with OOP code and the Twig template engine
Dark GitHub style
Curated set of interview notes, Q&A, and code snippets
A collection of 500+ analyzers, refactorings and fixes for C#
Lightning-fast and Powerful Code Editor written in Rust
Modern JavaFX CSS theme collection with additional controls
A browser based code editor
Static Code Analysis for R
Smart, fast and extensible build system
A cross-platform UI framework for .NET
Snapshot plugin with rich features that can make pretty code snapshots
Atom's iconic One Dark theme
A language server that offers Lua language support - programmed in Lua
Graphical User Interface Toolkit for Python with minimal dependencies
A modern, lightweight text editor with a minimalist design
A linter and formatter to help you to improve copywriting, etc.
Developer environments you can take with you
Agda is a dependently typed programming language
Graphical language server platform for building web-based diagram
VS Code extension for managing and sharing code snippets, and notes
A fully-featured, production ready caching GraphQL client