zenna / AbstractDomains.jlLinks
Various finite representations of large or infinite sets and associated primitive functions
☆13Updated 6 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☆53Updated 3 years ago
- Like a kick in the monads☆42Updated 3 years ago
- iterate and foldl for humans™☆28Updated 4 years ago
- A common API for finding nearest neighbors in Julia☆13Updated 2 years ago
- Vectors of unique elements, with quick reverse lookups☆25Updated 2 years ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 3 years ago
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 6 years ago
- Better profiling reports for Julia☆14Updated 5 years ago
- Sugar coating Julia's many ASTs☆42Updated 4 years ago
- Better parser errors for Julia☆44Updated 5 years ago
- A DSL for modern parsing☆46Updated last year
- Radical ideas for the Julia language.☆26Updated 4 years ago
- Julia package for deconstructing dispatch on NamedTuples.☆12Updated 4 years ago
- Canonical default initial values and identity elements for Julia☆25Updated 3 years ago
- Keeping tabs on the julia ecosystem☆30Updated last month
- Provides a simple macro to make readable anonymous functions in Julia☆31Updated 4 years ago
- QuickCheck-like automated testing for Julia☆21Updated 4 years ago
- Modal Julia text editor☆24Updated 6 years ago
- Continuous transformations from ℝ or ℝⁿ to various open sets☆17Updated 6 years ago
- An Abstract Reasoning Logic Interface☆15Updated 4 years ago
- Arithmetic with small and with very large rationals is made fast.☆22Updated 2 years ago
- Dynamically track IR as a graph, using source transformations☆32Updated 4 months ago
- A source code highlighter for Julia.☆37Updated last year
- Optional value handling for Julia☆29Updated 2 years ago
- Macros for simplified exception handling: @repeat try, @retry, @delay_retry, @protected try, @ignore.☆29Updated last year
- A cassette-based debugger | The Other Debugger☆50Updated 3 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10Updated 4 years ago
- Sugar for manual memory management☆19Updated 6 years ago
- An opinioned pretty printing package for Julia objects.☆29Updated 3 years ago
- A Julia REPL utility for package discovery☆29Updated 8 years ago