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:
- 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 2 years ago
- It's interpreters all the way down.☆13Updated 4 years ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 3 years ago
- no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.☆17Updated 10 months ago
- A package for graph optimization algorithms that rely on mathematical programming.☆20Updated 3 months ago
- Like a kick in the monads☆42Updated 3 years ago
- Optional value handling for Julia☆29Updated 3 years ago
- maintainable type inference☆20Updated 2 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10Updated 4 years ago
- An Abstract Reasoning Logic Interface☆15Updated 5 years ago
- Code-regrouping to reduce latency in Julia code compilation☆15Updated 3 years ago
- A package for expressing and automatically proving logical statements symbolically in Julia☆19Updated 2 years ago
- Monad implementation in Julia☆13Updated 4 years ago
- Pattern matching☆54Updated 3 years ago
- all your base are belong to me☆15Updated 4 years ago
- ☆26Updated 5 years ago
- An example package for submissions to JuliaCon☆22Updated last month
- Experimental compiler infrastructure for KernelAbstractions☆16Updated last year
- A utility package for working with Julia's CodeInfo internal representation.☆19Updated last year
- Capturing standard output and error streams in Julia.☆31Updated last month
- ProjectEuler.jl is a package that allows offline access to challenging mathematical problems from Project Euler through Julia's REPL. It …☆21Updated 2 years ago
- Regression Testing for Terminal UIs☆14Updated last month
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 4 years ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 4 years ago
- Tools for visualizing Julia IR☆45Updated last year
- Methodwise Memoization for Julia☆21Updated 3 years ago
- ☆20Updated 3 years ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆35Updated 3 weeks ago
- Static numbers in Julia☆37Updated 3 years ago