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