Cloud & Desktop IDE Platform
Curated set of interview notes, Q&A, and code snippets
Agda is a dependently typed programming language
A browser based code editor
A cross-platform UI framework for .NET
VS Code extension for managing and sharing code snippets, and notes
Developer environments you can take with you
A modern, lightweight text editor with a minimalist design
Static Code Analysis for R
A language server that offers Lua language support - programmed in Lua
Literate Programming can be Quick and Dirty
A linter and formatter to help you to improve copywriting, etc.
Graphical language server platform for building web-based diagram
The core OCaml system: compilers, runtime system, base libraries
A fully-featured, production ready caching GraphQL client
A free and open source code snippets manager for developers
Develop, stage and test on-prem or in your private cloud
A tool to automatically fix PHP Coding Standards issues
ANTLR4 language support for Visual Studio Code
A legend for your keymaps, commands, and autocmds
An asynchronous, persistent key-value store
Run your GitHub Actions locally
Smart, fast and extensible build system
The Microsoft Build Engine (MSBuild) build platform for .NET and VS
The meta-framework suite designed from scratch for web development