ctrekker / Deductive.jlLinks
A package for expressing and automatically proving logical statements symbolically in Julia
☆19Updated 2 years ago
Alternatives and similar repositories for Deductive.jl
Users that are interested in Deductive.jl are comparing it to the libraries listed below
Sorting:
- Functionality for modifying Julia package registry files☆12Updated 2 months ago
- ☆21Updated 3 years ago
- Methodwise Memoization for Julia☆21Updated 3 years ago
- Regression Testing for Terminal UIs☆14Updated last month
- Tools for visualizing Julia IR☆45Updated 2 months ago
- CUDA integration for the NNlib API☆14Updated 3 years ago
- Array types that can use sentinel values of the element type for special values☆23Updated last month
- ☆26Updated 5 years ago
- The Code Tracer☆34Updated last year
- Composable nonblocking and synchronization programming framework☆22Updated last year
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10Updated 4 years ago
- Quickly and easily install a GitHub Action on all repositories in a GitHub organization☆33Updated 2 years ago
- Redefinable structures☆27Updated 4 years ago
- More insights about your packages dependencies☆23Updated 3 years ago
- Bundle Julia projects☆13Updated last year
- The implementation of NameResolution.jl for Julia language.☆29Updated 3 years ago
- Basically what it says on the tin☆13Updated 2 years ago
- A simple, yet comprehensive foundation for interacting with common cloud providers in Julia (GCP, Azure, AWS).☆20Updated 2 months ago
- Bleeding-edge fork of Distributed.jl☆27Updated last month
- ☆21Updated last year
- A package for graph optimization algorithms that rely on mathematical programming.☆20Updated last month
- An experimental simple method overlay mechanism for Julia☆34Updated 2 months ago
- Dynamic tree structure with control over the accessibility of node children☆21Updated 10 months ago
- 🥞☆28Updated last year
- Display Clock within your REPL☆18Updated 3 years ago
- Base API optimized for tuples☆19Updated 5 years ago
- Julia package for lazily viewing a 3D or 4D array as an expanded 2D array in the form of a mosaic of matrix slices☆25Updated last month
- ☆33Updated 4 years ago
- A tool for exploring and visualizing Julia code☆25Updated 3 years ago
- Carry your own cache.☆22Updated 5 years ago