vchuravy / ConcolicFuzzer.jl
Prototype of a fuzzer for Julia based on concolic execution
☆17Updated 4 years ago
Related projects: ⓘ
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 3 years ago
- Pattern matching☆52Updated 2 years ago
- Julia package for deconstructing dispatch on NamedTuples.☆12Updated 3 years ago
- An Abstract Reasoning Logic Interface☆15Updated 3 years ago
- Experimental compiler infrastructure for KernelAbstractions☆16Updated 8 months ago
- @yield-based syntax for iterating over collections—foldl for humans™☆25Updated 3 years ago
- It's interpreters all the way down.☆13Updated 3 years ago
- Base API optimized for tuples☆19Updated 4 years ago
- Some useful lenses☆34Updated 2 weeks ago
- Radical ideas for the Julia language.☆25Updated 4 years ago
- Duality of view between named variables and flat vectors in Julia☆12Updated last week
- for you with the good questions☆27Updated 3 years ago
- ☆14Updated 2 years ago
- Fancy memoizing for expensive functions in Julia.☆18Updated 4 years ago
- Dynamically track IR as a graph, using source transformations☆31Updated 3 years ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 2 years ago
- Automatic probabilistic programming for scientific machine learning and dynamical models☆34Updated 2 months ago
- Representation of infinity in Julia☆14Updated 3 years ago
- a simple API for parallel computation on collections☆16Updated last year
- metaprogramming for Julia arrays☆13Updated 3 years ago
- A common API for finding nearest neighbors in Julia☆12Updated last year
- A utility package for working with Julia's CodeInfo internal representation.☆20Updated 7 months ago
- Deprecated. Please use Git.jl instead: https://github.com/JuliaVersionControl/Git.jl☆22Updated 3 years ago
- Carry your own cache.☆22Updated 4 years ago
- Flatten nested Julia objects to tuples, and reconstruct them later☆32Updated 2 years ago
- Julia library providing tracking of floating point errors through a program resources☆27Updated last month
- Versioned dictionaries following the mutable-until-shared (Mutts) discipline☆11Updated 4 years ago
- Extensions to Julia's Base.Test☆42Updated 4 months ago
- ☆50Updated 8 months ago
- Under some conditions you may need this function☆19Updated 2 years ago