Highlights
- Pro
Stars
Apache Hamilton helps data scientists and engineers define testable, modular, self-documenting dataflows, that encode lineage/tracing and metadata. Runs and scales everywhere python does.
All resources & exercises from the Miami Dev Writer's Retreat
PyTorch package for the discrete VAE used for DALL·E.
An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
Proving leftpad correct two-dozen different ways
OSS-Fuzz - continuous fuzzing for open source software.
A unit test-like interface for fuzzing and symbolic execution
A collection of TLA⁺ specifications of varying complexities.
Formal models of core Elasticsearch algorithms
An analysis tool for Python that blurs the line between testing and type systems.
Intermediate Representation for APIs
Cartography is a Python tool that consolidates infrastructure assets and the relationships between them in an intuitive graph view powered by a Neo4j database.
Cloud-native high-performance edge/middle/service proxy
OpenTracing API for Go. 🛑 This library is DEPRECATED! https://github.com/opentracing/specification/issues/163
A curated list for awesome kubernetes sources 🚢🎉
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
A simple tool that takes a Kappa trace and a rule name, and lists values (and corresponding frequencies) taken by each logical site of each agent on which the rule has been applied.
Secure Information Flow
A basic implementation of causal analysis on simple rectangular systems
A library for reading in and writing out data (plus some useful filesystem functions) in Node.js.
Dave mentioned he built a tictactoe game and I wanted to try.