zenna / AbstractDomains.jlLinks
Various finite representations of large or infinite sets and associated primitive functions
☆13Updated 7 years ago
Alternatives and similar repositories for AbstractDomains.jl
Users that are interested in AbstractDomains.jl are comparing it to the libraries listed below
Sorting:
- Pattern matching☆55Updated 3 years ago
- A DSL for modern parsing☆47Updated last month
- Like a kick in the monads☆42Updated 3 years ago
- Canonical default initial values and identity elements for Julia☆27Updated 4 years ago
- Radical ideas for the Julia language.☆26Updated 5 years ago
- Sugar coating Julia's many ASTs☆43Updated 4 years ago
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 6 years ago
- A Julia package for representing infinity in all its forms☆20Updated last month
- MultivariatePolynomials implementation using typed variables in Julia☆27Updated 5 months ago
- Vectors of unique elements, with quick reverse lookups☆25Updated 2 years ago
- A common API for finding nearest neighbors in Julia☆13Updated 3 years ago
- An Abstract Reasoning Logic Interface☆15Updated 5 years ago
- Non-iterable ranges☆35Updated 2 months ago
- iterate and foldl for humans™☆28Updated 5 years ago
- ☆20Updated 2 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 4 years ago
- Better profiling reports for Julia☆14Updated 6 years ago
- Julia bindings to the SAT solver picosat☆32Updated 2 years ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 4 years ago
- A Julia REPL utility for package discovery☆29Updated 8 years ago
- Some useful lenses☆35Updated 2 weeks ago
- A static method overlay and optimization tool with configurable code generation and execution.☆53Updated 3 years ago
- A utility package for working with Julia's CodeInfo internal representation.☆19Updated 2 years ago
- QuickCheck-like automated testing for Julia☆22Updated 5 years ago
- High precision replacements for Float64☆13Updated 7 years ago
- An opinioned pretty printing package for Julia objects.☆29Updated 4 years ago
- Macros for simplified exception handling: @repeat try, @retry, @delay_retry, @protected try, @ignore.☆29Updated last year
- Arithmetic with small and with very large rationals is made fast.☆23Updated this week
- Provides a simple macro to make readable anonymous functions in Julia☆31Updated 5 years ago
- Keeping tabs on the julia ecosystem☆32Updated last week