IAM Least Privilege Policy Generator

🌌 A virtual universe which lets you explore, analyze and present huge planetary datasets and large simulation data in real-time.

Measuring cmov vs branch-mov performance

A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

Distributed reliable key-value store for the most critical data of a distributed system

A memory profiler for Linux.

Flutter makes it easy and fast to build beautiful apps for mobile and beyond

Cadence is a distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient way.

Animation engine for explanatory math videos

A lightning fast Finite State machine and REgular expression manipulation library.

Open-source, self-hosted CMS platform on AWS serverless (Lambda, DynamoDB, S3). TypeScript framework with multi-tenancy, lifecycle hooks, GraphQL API, and AI-assisted development via MCP server. Bu…

✨🐙 A GPL Licensed Cognitive Behavioral Therapy app for iOS and Android. Currently a teaching tool

A work-in-process library for procedurally constructing 3D geometries

Digital Bond's ICS Enumeration Tools

Collection of scripts for Querying and Managing Active Directory and Domain Controllers

The iOS Security Testing Framework

Handshake SPV name resolver

Static Type Checker for Python

My simple Swiss Army knife for http/https troubleshooting and profiling.

Warp speed Data Transfer (WDT) is an embeddedable library (and command line tool) aiming to transfer data between 2 systems as fast as possible over multiple TCP paths.

Vita: simple and fast VPN gateway

a UI builder for React web apps

New TLS Padding Oracles

High performance, distributed and low latency publish-subscribe platform.

Our publications of the Swiss E-Voting Public Intrusion Test (PIT)

Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks

BeGoneAds is a script that puts some popular hosts file lists into the systems hosts file as a adblocker measure.

A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.

Red Team's SIEM - tool for Red Teams used for tracking and alarming about Blue Team activities as well as better usability in long term operations.

A color management framework for visual effects and animation.