lucaferranti / GeometricTheoremProver.jl
A Julia library for automated deduction in Euclidean geometry.
☆20Updated 2 years ago
Related projects: ⓘ
- A Julia implementation of choice sequence based PBT, inspired by Hypothesis☆41Updated last month
- ☆50Updated 9 months ago
- ☆41Updated last year
- The Code Tracer☆32Updated 6 months ago
- julia macro for unrolling for-loops☆21Updated 6 months ago
- Julia library providing tracking of floating point errors through a program resources☆27Updated last month
- Enclosures of real-valued functions in Julia☆22Updated last week
- Some useful lenses☆34Updated 2 weeks ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 3 years ago
- Avoid method dispatch at runtime☆38Updated 3 years ago
- This package contains a macro for converting expressions to use muladd calls and fused-multiply-add (FMA) operations for high-performance…☆44Updated 4 months ago
- Julia package for deconstructing dispatch on NamedTuples.☆12Updated 3 years ago
- Fancy memoizing for expensive functions in Julia.☆18Updated 4 years ago
- Branch and prune interface for Julia☆15Updated last year
- The nicest numbers in Julia.☆27Updated 5 months ago
- ☆52Updated 3 weeks ago
- Julia package for the plotting of plane curves and surfaces☆25Updated last year
- A convenient interface for using Tracy from within Julia code☆29Updated 8 months ago
- for you with the good questions☆27Updated 3 years ago
- A small package for providing the minimal required method surface of a Julia API☆36Updated 2 weeks ago
- Julia implementations of symbolic integration algorithms☆35Updated last year
- A number format that inspects your code by logging the arithmetic results.☆38Updated 2 years ago
- Under some conditions you may need this function☆19Updated 2 years ago
- Functions to transform text into unicode symbols, e.g. latex --> unicode☆33Updated 2 years ago
- Structured Concurrency for Julia☆29Updated 2 years ago
- Symbolics-based function property propagation for optimization☆13Updated last week
- Visualize the dependency graph of a Julia package☆43Updated last year
- a simple API for parallel computation on collections☆16Updated last year
- Base API optimized for tuples☆19Updated 4 years ago
- Pass loop info to LLVM☆21Updated last year