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:
- collective tools for Julia SSA IR.☆29Updated 2 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 4 years ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 3 years ago
- It's interpreters all the way down.☆13Updated 4 years ago
- no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.☆17Updated 11 months ago
- An Abstract Reasoning Logic Interface☆15Updated 5 years ago
- Optional value handling for Julia☆29Updated 3 years ago
- A package for expressing and automatically proving logical statements symbolically in Julia☆19Updated 2 years ago
- Like a kick in the monads☆42Updated 3 years ago
- An example package for submissions to JuliaCon☆22Updated 2 months ago
- ☆26Updated 5 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10Updated 4 years ago
- A package for graph optimization algorithms that rely on mathematical programming.☆20Updated 3 weeks ago
- POSIX Threads support in Julia.☆17Updated 3 years ago
- Code-regrouping to reduce latency in Julia code compilation☆15Updated 3 years ago
- Proof of concept for type system with unions, intersections and complements.☆15Updated 2 years ago
- ☆18Updated 4 years ago
- Tectonic typesetting for Julia.☆32Updated this week
- Segmentation models in Julia☆15Updated 3 years ago
- Experimental compiler infrastructure for KernelAbstractions☆16Updated last year
- Regression Testing for Terminal UIs☆14Updated last week
- Base API optimized for tuples☆19Updated 5 years ago
- Julia implementation of Random123.☆18Updated last month
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 4 years ago
- Tangent bundle, vector space and Submanifold definition☆51Updated 2 months ago
- ☆51Updated 2 years ago
- Pattern matching☆54Updated 3 years ago
- maintainable type inference☆20Updated 2 years ago
- Static numbers in Julia☆37Updated 3 years ago
- all your base are belong to me☆15Updated 4 years ago