DiffMu / DiffPrivacyInference.jl
A program to automatically infer differential privacy properties of your julia source code.
☆12Updated 2 years ago
Related projects: ⓘ
- Monad implementation in Julia☆13Updated 3 years ago
- Syntax aware code search for Julia☆13Updated 4 months ago
- Faster Rational-like types for Julia☆23Updated 5 months ago
- Tables.jl-friendly mechanisms for constructing, reading, writing, and validating Arrow tables against extensible, versioned, user-specifi…☆24Updated last week
- It's interpreters all the way down.☆13Updated 3 years ago
- Macro that force imports conflicting methods in modules☆14Updated 5 years ago
- An Abstract Reasoning Logic Interface☆15Updated 3 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 2 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10Updated 3 years ago
- Tectonic typesetting for Julia.☆29Updated 5 months ago
- Arithmetic with small and with very large rationals is made fast.☆22Updated last year
- ☆11Updated 3 years ago
- Package-specific AbstractUnitRange types for julia☆8Updated 5 months ago
- ☆13Updated last year
- no more 🐱🐱☆20Updated 5 months ago
- metaprogramming for Julia arrays☆13Updated 3 years ago
- Capturing standard output and error streams in Julia.☆30Updated 3 months ago
- A Julia IO type that facilitates width-limited printing☆12Updated last year
- Big package depending on a lot of open source repos.☆15Updated last week
- ☆10Updated last year
- Array types that can use sentinel values of the element type for special values☆23Updated 2 months ago
- Generate Rust wrappers for Julia types that can be used with jlrs☆21Updated last year
- Julia bindings for tree-sitter.☆18Updated 5 months ago
- Unified interface for interacting with Git forges☆12Updated last year
- A utility package for working with Julia's CodeInfo internal representation.☆20Updated 7 months ago
- all your base are belong to me☆15Updated 3 years ago
- Prototype of a fuzzer for Julia based on concolic execution☆17Updated 4 years ago
- ☆11Updated 3 years ago
- Core functionality for processing coverage information in Julia☆8Updated 2 months ago
- Continuous integration (CI) tools for Julia package registries, including registry consistency testing, automatic merging (automerge) of …☆31Updated last month