Lean 4 programming language and theorem prover
A simple but powerful API for processing and compiling assets
Build serverless apps. Set breakpoints and test your functions locally
The modern web developer’s platform
Apache Maven Surefire
A cross-platform GUI for youtube-dl made in Electron and node.js
Beautifully designed components that you can copy and paste into apps
Secure Backend Server for Web, Mobile & Flutter Developers
Build custom admin panels
A tool for static analysis to look for bugs in Java code
Open source machine learning framework to automate text conversations
Build-once run-anywhere c library
Low-code programming for event-driven applications
The GraphQL LSP reference ecosystem for building browser & IDE tools
Kotlin library that makes it easy to build and execute queries
Scala language server with rich IDE features
Programmer-friendly testing framework for Java and the JVM
A package to build progressive web apps with Go programming
Python module that helps you build complex pipelines of batch jobs
AWS CodeBuild repository for managed Docker images
Build cross platform desktop apps with ASP.NET Core
Fast, scalable, multi-language and extensible build system
A lightweight compositor for X11
OpenZeppelin Contracts is a library for secure smart contracts
Open source monitoring and visualization UI for the TICK stack