Stars
Fara-7B: An Efficient Agentic Model for Computer Use
Graph database implementing the RDF and SPARQL standards. Very fast and scales to more than a trillion triples on a single commodity machine
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
The Python Risk Identification Tool for generative AI (PyRIT) is an open source framework built to empower security professionals and engineers to proactively identify risks in generative AI systems.
A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
Papermark is the open-source DocSend alternative with built-in analytics and custom domains.
A FREE comprehensive reverse engineering tutorial covering x86, x64, 32-bit/64-bit ARM, 8-bit AVR and 32-bit RISC-V architectures.
Rust-based WebAssembly bindings to read and write Apache Parquet data
hotpdf is a fast PDF parsing library to extract text and find text within PDF documents built on top of pdfminer.six
Collection of resources about Virtualization
A high-performance observability data pipeline.
A curated list of OpenTelemetry resources
Cloud-native search engine for observability. An open-source alternative to Datadog, Elasticsearch, Loki, and Tempo.
Landing page for Software for Open Networking in the Cloud (SONiC) - https://sonic-net.github.io/SONiC/
Program for determining types of files for Windows, Linux and MacOS.
The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis
A tool for matching and diffing source codes directly against binaries.
A low-level virtualization interface for Linux-based systems using WebAssembly
JVector: the most advanced embedded vector search engine
Program to convert lines of text into a tree structure.
Quickly find differences and similarities in disassembled code
Create and manage bare metal disk images from docker images
A dynamic library providing Virtualization-based process isolation capabilities