ctrekker / Deductive.jl
A package for expressing and automatically proving logical statements symbolically in Julia
☆19Updated 10 months ago
Related projects: ⓘ
- A package for graph optimization algorithms that rely on mathematical programming.☆20Updated this week
- Functionality for modifying Julia package registry files☆12Updated 3 months ago
- Bundle Julia projects☆13Updated 4 months ago
- Display Clock within your REPL☆16Updated 2 years ago
- Quickly and easily install a GitHub Action on all repositories in a GitHub organization☆31Updated 9 months ago
- Basically what it says on the tin☆13Updated 9 months ago
- ☆20Updated 2 years ago
- Base API optimized for tuples☆19Updated 4 years ago
- Methodwise Memoization for Julia☆22Updated 2 years ago
- Julia preferences for humans☆32Updated last year
- Immutables as mutables, mutables as immutables.☆14Updated last month
- Composable nonblocking and synchronization programming framework☆23Updated last month
- Redefinable structures☆26Updated 3 years ago
- Julia package to index arrays using the positional rank of the index instead of its value☆21Updated 2 years ago
- ANSI escape code translator☆14Updated 4 months ago
- Sort 1..25 values with conditional swaps☆16Updated last month
- Big package depending on a lot of open source repos.☆15Updated last week
- Reshape text☆14Updated 2 years ago
- A simple, yet comprehensive foundation for interacting with common cloud providers in Julia (GCP, Azure, AWS).☆20Updated last month
- Carry your own cache.☆22Updated 4 years ago
- Julia package for doing arithmetic on endpoints in array indexing☆23Updated last year
- Array types that can use sentinel values of the element type for special values☆23Updated 2 months ago
- AdaptivePredicates.jl: Port of Shewchuk's robust predicates into Julia.☆13Updated this week
- More insights about your packages dependencies☆23Updated last year
- AD backends for LogDensityProblems.jl.☆12Updated this week
- ☆33Updated 3 years ago
- The Code Tracer☆32Updated 5 months ago
- Write with ✨ style ✨ and ease☆26Updated this week
- Reactive, "soft real-time" programming tools for Julia.☆17Updated 9 months ago
- Utilities for handling arithmetic overflow☆12Updated 4 months ago