DiffMu / DiffPrivacyInference.jlLinks
A program to automatically infer differential privacy properties of your julia source code.
☆12Updated 3 years ago
Alternatives and similar repositories for DiffPrivacyInference.jl
Users that are interested in DiffPrivacyInference.jl are comparing it to the libraries listed below
Sorting:
- Monad implementation in Julia☆13Updated 5 years ago
- Core functionality for processing coverage information in Julia☆10Updated last week
- An Abstract Reasoning Logic Interface☆15Updated 5 years ago
- Capturing standard output and error streams in Julia.☆31Updated 2 months ago
- Syntax aware code search for Julia☆14Updated 2 months ago
- all your base are belong to me☆15Updated 5 years ago
- Macro that force imports conflicting methods in modules☆14Updated 7 years ago
- maintainable type inference☆20Updated 3 years ago
- Tables.jl-friendly mechanisms for constructing, reading, writing, and validating Arrow tables against extensible, versioned, user-specifi…☆28Updated 2 weeks ago
- Small and dependency-free Julia package to infer file and MIME type checking the magic numbers signature.☆18Updated last month
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 4 years ago
- It's interpreters all the way down.☆13Updated 4 years ago
- Big package depending on a lot of open source repos.☆16Updated 2 weeks ago
- A Julia IO type that facilitates width-limited printing☆12Updated 2 years ago
- Like a kick in the monads☆42Updated 3 years ago
- Julia bindings for tree-sitter.☆32Updated last week
- Time travel in JuliaLang. (Useful for testing what code did before your changes)☆17Updated 2 years ago
- Static numbers in Julia☆37Updated 3 years ago
- no more 🐱🐱☆21Updated last month
- Tectonic typesetting for Julia.☆32Updated last month
- Tangent bundle, vector space and Submanifold definition☆51Updated 3 weeks ago
- Generate Rust wrappers for Julia types that can be used with jlrs☆21Updated 3 years ago
- Interface designs for enforcing static computations in array functions with Julia☆15Updated last month
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10Updated 4 years ago
- collective tools for Julia SSA IR.☆29Updated 2 years ago
- Providing music-related visualization built on top of the packages of JuliaMusic☆16Updated 2 years ago
- Faster Rational-like types for Julia☆23Updated last year
- Using runtime-free macro packages as dev-only dependencies.☆22Updated 3 years ago
- Tools for visualizing Julia IR☆45Updated last month
- Extremely fast generator-like alternative to Julia Channels☆40Updated 2 years ago