Starred repositories
ACL2-to-Lean4 bridge with parser, evaluator, translator, and proving tactics
Deploy 150+ open-source web apps with one Docker command
🏆 A ranked list of awesome Python open-source libraries and tools. Updated weekly.
C-based shallow embedding of Ghidra's P-code symbolic execution
An ELF infector that hijacks the __cxa_finalize function
Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)
A game theoretic approach to explain the output of any machine learning model.
A serverless app that polls an SQS queue and invokes a given lambda function to process the messages
☁️ 40+ Grafana dashboards for AWS CloudWatch metrics: EC2, Lambda, S3, ELB, EMR, EBS, SNS, SES, SQS, RDS, EFS, ElastiCache, Billing, API Gateway, VPN, Step Functions, Route 53, CodeBuild, ...
CERTCC / kaiju
Forked from cmu-sei/kaijuCERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, canonical repository for this project -- file bug reports and …
Apache Camel is an open source integration framework with 350+ connectors. Write routes in Java, YAML, or XML. Run on Spring Boot, Quarkus, or standalone. Apache License 2.0.
BinaryAlert: Serverless, Real-time & Retroactive Malware Detection.
Node.js Production Process Manager with a built-in Load Balancer.
Run Python scripts from Node.js with simple (but efficient) inter-process communication through stdio
pefile is a Python module to read and work with PE (Portable Executable) files
This demo shows how to use the SAP JCo Camel Component to connect to SAP from Fuse. The JCo Camel component is part of Fuse but not part of the Camel Community project.
Bridge API to connect with existing Java APIs.
public repository for demos related to Telerik .Net blog posts
Retrie is a powerful, easy-to-use codemodding tool for Haskell.
Abstraction for local and remote filesystems