ChenNingCong / SimpleTypeCheckerLinks
A simple static type checker that enforces C-style programming in Julia
☆27Updated 4 months ago
Alternatives and similar repositories for SimpleTypeChecker
Users that are interested in SimpleTypeChecker are comparing it to the libraries listed below
Sorting:
- Static numbers in Julia☆38Updated 3 years ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 3 years ago
- ☆41Updated 2 years ago
- Optional value handling for Julia☆30Updated 2 years ago
- A utility package for working with Julia's CodeInfo internal representation.☆19Updated last year
- Canonical default initial values and identity elements for Julia☆25Updated 3 years ago
- Allocate arrays with malloc, calloc, or on NUMA nodes☆55Updated 2 years ago
- Code-regrouping to reduce latency in Julia code compilation☆15Updated 3 years ago
- Like a kick in the monads☆42Updated 2 years ago
- Extra tools for setting up Documenter☆31Updated 2 weeks ago
- ☆51Updated last year
- A static method overlay and optimization tool with configurable code generation and execution.☆53Updated 3 years ago
- Using runtime-free macro packages as dev-only dependencies.☆22Updated 2 years ago
- An opinioned pretty printing package for Julia objects.☆29Updated 3 years ago
- ☆17Updated 2 years ago
- Deprecated. Please use Git.jl instead: https://github.com/JuliaVersionControl/Git.jl☆22Updated 4 years ago
- Apply meaningful keys and custom behavior to indices.☆22Updated 3 years ago
- Primitives for construction of objects☆45Updated 2 months ago
- This package contains a macro for converting expressions to use muladd calls and fused-multiply-add (FMA) operations for high-performance…☆44Updated 6 months ago
- Type stable array slicing☆50Updated 2 years ago
- Tectonic typesetting for Julia.☆29Updated 5 months ago
- Write with ✨ style ✨ and ease☆27Updated last month
- Cunning tricks though the julia compiler internals☆86Updated 4 months ago
- Tools for visualizing Julia IR☆45Updated 11 months ago
- ☆21Updated last year
- Pattern matching☆53Updated 2 years ago
- Playground for formal specifications of interfaces in Julia☆58Updated last year
- ☆25Updated 5 years ago
- Differential equations on manifolds☆30Updated 3 weeks ago
- maintainable type inference☆20Updated 2 years ago