Repository Index

Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21

• memex
• knowledge-management
• knowledge-graph
• tools-for-thought

A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications

• static-analysis
• php
• type-inference
• security-analysis

Time series forecasting with PyTorch

• pytorch
• forecasting
• gpu
• uncertainty

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

• reverse-engineering
• symbolic-execution
• binary-analysis
• program-analysis

This repo covers Kubernetes with LABs: Kubectl, Pod, Deployment, Service, PV, PVC, Rollout, Multicontainer, Daemonset, Taint-Toleration, Job, Ingress, Kubeadm, Helm, etc.

• kubernetes
• kubernetes-cluster
• kubernetes-deployment
• kubectl

The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)

• findbugs
• java
• security-audit
• owasp

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis

Natural Gradient Boosting for Probabilistic Prediction

• machine-learning
• gradient-boosting
• natural-gradients
• uncertainty-estimation

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

• ida-plugin
• taint-analysis
• reverse-engineering
• disassembly

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

• fuzzing
• security
• fuzzer
• afl

DECAF (short for Dynamic Executable Code Analysis Framework) is a binary analysis platform based on QEMU. This is also the home of the DroidScope dynamic Android malware analysis platform. DroidScope is now an extension to DECAF.

• binary-analysis
• taint-analysis

Uncertainty-aware Semantic Segmentation of LiDAR Point Clouds for Autonomous Driving

• semantic-segmentation
• lidar
• semantickitti
• 3d-lidar-data

A 3D vision library from 2D keypoints: monocular and stereo 3D detection for humans, social distancing, and body orientation.

• 3d-object-detection
• 3d-detection
• 3d-deep-learning
• pytorch

A state-of-the-art distributed system using Reactive DDD as uncertainty modeling, Event Storming as subdomain decomposition, Event Sourcing as an eventual persistence mechanism, CQRS, Async Projections, Microservices for individual deployable units, Event-driven Architecture for efficient integration, and Clean Architecture as domain-centric design

• cqrs
• ddd
• clean-architecture
• event-sourcing

TranslatedCyclops is a browser with XSS detection capabilities

• security
• xss
• taint-tracking
• vulnerability

Data and code for "When (ish) is My Bus? User-centered Visualizations of Uncertainty in Everyday, Mobile Predictive Systems" (CHI 2016)

A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.

Uncertainty calculations for MicroPython