NGI Navigator (Prototype)

DiffPrivacyInference.jl

inactive Open Source

A Julia package for verifying differential privacy guarantees through a type system.

🌐 Website github.com/DiffMu/DiffPrivacyInference.jl 📦 Source Code github.com/DiffMu/DiffPrivacyInference.jl

Product Information

Maintainer
DiffMu company
Last Activity
2022-05-12
Categories
Network Infrastructure

Linked NGI Projects

This product was created or improved through NGI-funded projects

Verified Differential Privacy for Julia ngi zero pet

Proving sound privacy guarantees through a type system

Often Used Together

Products commonly used alongside DiffPrivacyInference.jl

Sensix OSS video box OSS ODDS (Open Data Deep Search) OSS iso14229 OSS Mailpile 2 (moggie) OSS Twake Drive OSS

Similar Products

Other products in related categories

heads

A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot ...

OSS active
c-toxcore

The future of online communications.

OSS active
OpenAirInterface

Open-source reference implementation of 5G that is standard-compliant with 3GPP Release 15, used for...

OSS
6TiSCH Open Data Action

A zero-configuration IPv6-enabled solution for industrial monitoring and control, smart building, ho...

Community Discussion 3 comments

TH
Thomas Hansen 3 days ago

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Praesent commodo cursus magna, vel scelerisque nisl consectetur et.

LM
Laura Martin 1 week ago

Nullam quis risus eget urna mollis ornare vel eu leo. Cras mattis consectetur purus sit amet fermentum.

PG
Paolo Gianetti 2 weeks ago

Maecenas sed diam eget risus varius blandit sit amet non magna. Integer posuere erat a ante venenatis dapibus posuere velit aliquet.

Discovery info: llm_confidence=high; The project has a clear software product name (DiffPrivacyInference.jl) with a dedicated GitHub repository, indicating it is a concrete Julia package for differential privacy verification. Last checked: 2026-02-11