Stars
Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data
Cinder is Meta's internal performance-oriented production version of CPython.
Python library for converting Python calculations into rendered latex.
🍃 JavaScript library for mobile-friendly interactive maps 🇺🇦
Build, Store, and Distribute your Applications and Containers
Golang library for consuming Kinesis stream data
[DEPRECATED] Docker images for Confluent Platform.
📖 source material for Thinking with Types
Linux utility for converting raw photo files into DNG, TIFF or JPEG format
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …
Persists tmux environment across system restarts.
A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…
Docker registry v2 command line client and repo listing generator with security checks.
An Emacs configuration bundle with batteries included
API that leverages Clair to scan Docker Registries and Kubernetes Clusters for vulnerabilities
Collection of film emulation presets for open-source RAW developer software Darktable.
Learn how to master the art of baking the programmer way.
Interesting papers I'd like to implement (or at least have implementations of)
Add-on agent to generate and expose cluster-level metrics.
Mirror of https://gitlab.redox-os.org/redox-os/tfs
An axiom-free formalization of category theory in Coq for personal study and practical work
The Snappy compression format in the Go programming language.
Parser and pretty-printer for the Rust language