Stefan Hagen's repositories
aws-s2n-tls
s2n : an implementation of the TLS/SSL protocols
awslabs-mountpoint-s3
A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.
bloomberg-memray
Memray is a memory profiler for Python
Byron-gitoxide
An idiomatic, modern, lean, fast, safe & pure rust implementation of git
charliermarsh-ruff
An extremely fast Python linter, written in Rust.
cisagov-CSAF
CISA CSAF ICSA Security Advisories
cockroachdb-cockroach
CockroachDB - the open source, cloud-native SQL database.
compiler-explorer-compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
csaf-poc-csaf_distribution
A set of csaf tools (trusted provider, provider checker and aggregator)
CVEProject-cvelist
Pilot program for CVE submission through GitHub
dandavison-delta
A syntax-highlighter for git and diff output
danmar-cppcheck
static analysis of C/C++ code
duckdb-duckdb
DuckDB is an in-process SQL OLAP Database Management System
edgelesssys-constellation
Constellation is the first Confidential Kubernetes. Constellation shields entire Kubernetes clusters from the (cloud) infrastructure using confidential computing.
elixir-ecto-ecto
A toolkit for data mapping and language integrated query
elixir-lang-elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications [AMENDED] This project broke history around 2023-05-21
emscripten-core-emscripten
Emscripten: An LLVM-to-WebAssembly Compiler
envoyproxy-envoy
Cloud-native high-performance edge/middle/service proxy
Ericsson-codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
erlang-otp
Erlang/OTP [AMENDED] This project broke history once.
excalidraw-excalidraw
Virtual whiteboard for sketching hand-drawn like diagrams
facebook-pyre-check
Performant type-checking for python.
facebook-rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
FerretDB-FerretDB
A truly Open Source MongoDB alternative
bevyengine-bevy
A refreshingly simple data-driven game engine built in Rust
biomejs-biome
A toolchain for web projects, aimed to provide functionalities to maintain them.
canonical-lxd
Powerful system container and virtual machine manager
eclipse-theia-theia
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
Farama-Foundation-Gymnasium
An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)