TheCedarPrince / LuxCat.jl
Using Luxor.jl to design common diagrams found in Category Theory 🐱
☆12Updated 2 years ago
Related projects: ⓘ
- Arithmetic with small and with very large rationals is made fast.☆22Updated last year
- Monad implementation in Julia☆13Updated 3 years ago
- Unified interface for interacting with Git forges☆12Updated last year
- Methodwise Memoization for Julia☆22Updated 2 years ago
- ☆13Updated last year
- It's interpreters all the way down.☆13Updated 3 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10Updated 3 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 2 years ago
- ☆24Updated 4 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 months ago
- Syntax aware code search for Julia☆13Updated 4 months ago
- no more 🐱🐱☆20Updated 5 months ago
- A utility package for working with Julia's CodeInfo internal representation.☆20Updated 7 months ago
- A package for expressing and automatically proving logical statements symbolically in Julia☆19Updated 10 months ago
- Faster Rational-like types for Julia☆23Updated 5 months ago
- Code-regrouping to reduce latency in Julia code compilation☆15Updated 2 years ago
- Optional argument checks allow you to omit them when performance is critical.☆10Updated 2 years ago
- no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.☆15Updated last month
- Display Clock within your REPL☆16Updated 2 years ago
- Array types that can use sentinel values of the element type for special values☆23Updated 2 months ago
- Optional value handling for Julia☆30Updated last year
- ☆11Updated 3 years ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 2 years ago
- Immutable empty and singleton collections☆13Updated last year
- An Abstract Reasoning Logic Interface☆15Updated 3 years ago
- maintainable type inference☆19Updated last year
- A Julia IO type that facilitates width-limited printing☆12Updated last year
- Traits for julia iterators☆11Updated 4 years ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 3 years ago
- Interactive plotting of millions of data points☆11Updated 2 years ago
- An experimental simple method overlay mechanism for Julia☆28Updated 2 months ago