vchuravy / ConcolicFuzzer.jlView external linksLinks
Prototype of a fuzzer for Julia based on concolic execution
☆18Feb 8, 2020Updated 6 years ago
Alternatives and similar repositories for ConcolicFuzzer.jl
Users that are interested in ConcolicFuzzer.jl are comparing it to the libraries listed below
Sorting:
- ☆14Nov 5, 2019Updated 6 years ago
- Dynamically track IR as a graph, using source transformations☆32Mar 3, 2025Updated 11 months ago
- Fancy memoizing for expensive functions in Julia.☆18Feb 8, 2020Updated 6 years ago
- Some useful lenses☆35Jan 29, 2026Updated 2 weeks ago
- XUnit.jl is a unit-testing framework for Julia.☆47Jun 30, 2023Updated 2 years ago
- Some useful additions to the Julia Test Standard Library☆14Nov 30, 2025Updated 2 months ago
- Duality of view between named variables and flat vectors in Julia☆12Nov 25, 2025Updated 2 months ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Jun 10, 2021Updated 4 years ago
- Julia Appveyor script☆14Sep 22, 2023Updated 2 years ago
- Converts amost every Julia object to CLI commands☆12Aug 6, 2020Updated 5 years ago
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Mar 7, 2019Updated 6 years ago
- A Py.Test-like testing framework for Julia☆13Jan 1, 2021Updated 5 years ago
- An Abstract Reasoning Logic Interface☆15Oct 16, 2020Updated 5 years ago
- A common API for finding nearest neighbors in Julia☆13Oct 22, 2022Updated 3 years ago
- Testing for Julia, simplified.☆16Aug 2, 2020Updated 5 years ago
- Expression transformation package☆59Jul 16, 2025Updated 6 months ago
- Using fusion to make an accelerator – how ionic☆16Feb 8, 2020Updated 6 years ago
- Automatically generate Julia-C bindings!☆15Mar 16, 2021Updated 4 years ago
- SEAL.jl is an easy-to-use wrapper for the original SEAL library and supports homomorphic encryption with the BFV and CKKS schemes.☆16Mar 7, 2021Updated 4 years ago
- This package provides an interface for Design By Contract programming in Julia.☆13Jun 11, 2021Updated 4 years ago
- Julia implementation of the simplex algorithm for rational numbers.☆15Jul 1, 2018Updated 7 years ago
- My name is Hercule Poirot and I am probably the greatest detective in the world.☆66Jun 2, 2022Updated 3 years ago
- Hyperscript: A lightweight DOM representation for Julia☆104Jan 16, 2024Updated 2 years ago
- [wip] Julia bridge to JSXGraph for interactive plots☆17May 6, 2020Updated 5 years ago
- an extensible, practical and coherent algebra of query combinators☆71Sep 1, 2023Updated 2 years ago
- An efficient symbolic term rewriting engine☆78Dec 23, 2020Updated 5 years ago
- Generalized golden sequences, a form of low discrepancy sequence or quasi random numbers☆18Jun 14, 2022Updated 3 years ago
- ☆19Oct 15, 2025Updated 3 months ago
- Solving unregularized optimal transport problems with Julia☆18Sep 16, 2023Updated 2 years ago
- Assorted s-expression utilities for Julia☆16Feb 29, 2024Updated last year
- Julia package for fast flexible adaptive rejection sampling for log-concave univariate densities.☆18Jul 25, 2023Updated 2 years ago
- Generate Rust wrappers for Julia types that can be used with jlrs☆21Dec 2, 2022Updated 3 years ago
- A DSL for modern parsing☆47Jan 1, 2026Updated last month
- Inverted file system for billion-scale ANN search☆19Dec 7, 2023Updated 2 years ago
- E.T. Jaynes home phone.☆45Jan 11, 2021Updated 5 years ago
- Better parser errors for Julia☆44May 15, 2020Updated 5 years ago
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆19Feb 4, 2020Updated 6 years ago
- Radical ideas for the Julia language.☆26Jul 29, 2020Updated 5 years ago
- Combining Reactive.jl with the Gtk toolkit☆41Nov 5, 2021Updated 4 years ago