A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.
- reactive
- distributed-systems
- concurrency
- high-performance
Repository Index
56,638 visible repositories in the index
1–17 of 17 · Most stars
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.
The most used, flexible, fast and streaming parser for multipart form data. Supports uploading to serverless environments, AWS S3, Azure, GCP or the filesystem. Used in production.
- form
- multipart-formdata
- multipart-parser
- incomingform
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
clasp Common Lisp environment
Implementation of Python 3.x for .NET Framework that is built on top of the Dynamic Language Runtime.
- ironpython
- dlr
- c-sharp
- python
A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)
C library for accessing the PostgreSQL parser outside of the server environment
A Leiningen plugin for a superior development environment
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
The OpenMusic visual programming / computer-aided composition environment
- computer-aided-composition
- visual-programming
- music
- openmusic
IronScheme
- scheme
- c-sharp
- r6rs
- r6rs-scheme
A lightweight yet powerful configuration manager for the Go programming language
- config
- configuration
- configuration-files
- config-management
Lua Multitasking Environment.
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
A drop-in modernization of jmoiron/sqlx that fixes lexer bugs, automates IN expansion, and adds pluggable hooks — built for Go 1.21+.
- mysql
- postgresql
- sqlx
- databases
Ruby binding for XGBoost