prl-julia / julia-type-stabilityLinks
☆10Updated 2 years ago
Alternatives and similar repositories for julia-type-stability
Users that are interested in julia-type-stability are comparing it to the libraries listed below
Sorting:
- It's interpreters all the way down.☆13Updated 4 years ago
- A package for expressing and automatically proving logical statements symbolically in Julia☆19Updated last year
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 3 years ago
- collective tools for Julia SSA IR.☆29Updated last year
- Optional value handling for Julia☆29Updated 2 years ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 3 years ago
- An Abstract Reasoning Logic Interface☆15Updated 4 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10Updated 4 years ago
- Static numbers in Julia☆37Updated 3 years ago
- maintainable type inference☆20Updated 2 years ago
- no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.☆17Updated 7 months ago
- ☆26Updated 4 years ago
- Julia implementation of Random123.☆18Updated 2 weeks ago
- Code-regrouping to reduce latency in Julia code compilation☆15Updated 3 years ago
- Experimental compiler infrastructure for KernelAbstractions☆16Updated last year
- A package for graph optimization algorithms that rely on mathematical programming.☆20Updated this week
- Immutable empty and singleton collections☆13Updated 2 years ago
- Like a kick in the monads☆42Updated 3 years ago
- Proof of concept for type system with unions, intersections and complements.☆15Updated 2 years ago
- Regression Testing for Terminal UIs☆14Updated 5 months ago
- Representation of infinity in Julia☆15Updated 4 years ago
- Methodwise Memoization for Julia☆21Updated 3 years ago
- ☆51Updated last year
- ☆18Updated 3 years ago
- Pattern matching☆53Updated 3 years ago
- ☆20Updated 3 years ago
- Segmentation models in Julia☆15Updated 3 years ago
- A drop-in replacement of `Base.@assert` that prints out additional information upon failure.☆17Updated 2 years ago
- POSIX Threads support in Julia.☆17Updated 2 years ago
- Arithmetic with small and with very large rationals is made fast.☆22Updated 2 years ago