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
Precision Medicine Knowledge Graph (PrimeKG)
An integration library for Laravel and Doctrine ORM
GraphQL Router / API Gateway framework written in Golang, focussing on correctness, extensibility, and high-performance. Supports Federation v1 & v2, Subscriptions & more.
FSharp source code formatter
Typed TypeScript SDK for direct and managed social platform integrations, with capability checks, explicit outcomes, and deterministic testing.
Free open-source web software for signing PDF (alone or with others) and also organize pages, edit metadata and compress pdf
- pdf
- signature
- pdf-sign
- pdf-signature
Universal model exchange and serialization format for decision tree forests
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
- csharp
- algebra
- integration
- latex
CommonMark compliant Markdown formatter
A VSCode extension that allows you to use browser devtools from within the editor. The devtools will connect to an instance of Microsoft Edge giving you the ability to alter CSS styling, perform diagnostics, and debugging. Get it now at http://aka.ms/devtools-for-code
Neo4j Spatial is a library of utilities for Neo4j that faciliates the enabling of spatial operations on data. In particular you can add spatial indexes to already located data, and perform spatial operations on the data like searching for data within specified regions or within a specified distance of a point of interest.
- neo4j
- neo4j-database
- geoserver
- spatial-data
ATTENTION: This repository is a clone of https://gitlab.structr.com/structr/structr. All development/issue tracking has moved there. | Structr is an integrated open-source low-code development and runtime environment that uses a graph database (Neo4j).
3D Bounding Box Annotation Tool (3D-BAT) Point cloud and Image Labeling
- 3d
- bounding-box
- pointcloud
- annotation
Cross-Platform Micro-VM Sandbox for Agentic Workloads
- agentic-coding
- agentic-engineering
- agentic-workflows
- microvm
⚡ Datoviz: high-performance GPU rendering for scientific data visualization
Synopse mORMot 1 ORM/SOA/MVC framework - Please upgrade to mORMot 2 !
- delphinuspackage
- pascal
- fpc
- delphi
A set of wrapper components to facilitate using Material UI with Redux Form
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Scala macros for compile-time generation of safe and ultra-fast JSON codecs + circe booster
- scala
- json
- high-performance
- serialization
LZ4/LH4HC compression for .NET Standard 1.6/2.0 (formerly known as lz4net)
Python package for graph neural networks in chemistry and biology
Format your svelte components using prettier.
A lightweight, accurate and robust monocular visual inertial odometry based on Multi-State Constraint Kalman Filter.