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
69,734 visible repositories in the index
1–13 of 13 · 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
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
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