zenna / Z3.jlView external linksLinks
Julia wrapper for The Z3 Theorem Prover (SMT Solver)
☆24Jun 23, 2017Updated 8 years ago
Alternatives and similar repositories for Z3.jl
Users that are interested in Z3.jl are comparing it to the libraries listed below
Sorting:
- Julia implementation of zlib decompression☆25Sep 24, 2024Updated last year
- Tools for manipulating Julia's lowered code☆19Feb 6, 2026Updated last week
- The implementation of NameResolution.jl for Julia language.☆29Mar 17, 2022Updated 3 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Dec 10, 2021Updated 4 years ago
- Versioned dictionaries following the mutable-until-shared (Mutts) discipline☆11Jul 29, 2020Updated 5 years ago
- Julian macros for wrapping ccall☆14May 27, 2021Updated 4 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10May 18, 2021Updated 4 years ago
- Traits for julia iterators☆11Aug 22, 2020Updated 5 years ago
- Regression Testing for Terminal UIs☆14Jan 1, 2026Updated last month
- ☆32May 29, 2020Updated 5 years ago
- (Unofficial) Julia library for working with Trello☆10Jun 4, 2020Updated 5 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Dec 7, 2019Updated 6 years ago
- Various finite representations of large or infinite sets and associated primitive functions☆13Nov 23, 2018Updated 7 years ago
- Big package depending on a lot of open source repos.☆16Feb 8, 2026Updated last week
- ☆13May 3, 2019Updated 6 years ago
- Tangent bundle, vector space and Submanifold definition☆51Jan 12, 2026Updated last month
- Project Management tools, with a particular focus on PERT charts☆25Mar 3, 2022Updated 3 years ago
- ☆48Aug 18, 2021Updated 4 years ago
- Keeping tabs on the julia ecosystem☆32Feb 4, 2026Updated last week
- Differentiable matrix factorizations using ImplicitDifferentiation.jl.☆31Sep 14, 2023Updated 2 years ago
- ProjectEuler.jl is a package that allows offline access to challenging mathematical problems from Project Euler through Julia's REPL. It …☆21Jun 11, 2023Updated 2 years ago
- x86 Hardware Performance Counter monitoring in Julia☆20Apr 26, 2022Updated 3 years ago
- A package for expressing and automatically proving logical statements symbolically in Julia☆19Nov 2, 2023Updated 2 years ago
- Render LaTeX equations with MathJax offline.☆20Dec 31, 2025Updated last month
- A fast implementation of short strings of fixed size. Great for sorting and group-by operations☆25Sep 22, 2021Updated 4 years ago
- Embed Julia with dynamical loading of libjulia at runtime.☆19Dec 5, 2025Updated 2 months ago
- Static numbers in Julia☆37Apr 11, 2022Updated 3 years ago
- ☆21Jul 30, 2022Updated 3 years ago
- extended precision math, accurate and performant☆90Nov 7, 2025Updated 3 months ago
- Currying for Julia☆21Apr 9, 2024Updated last year
- ☆47Oct 18, 2021Updated 4 years ago
- Reproducible tests for HTTP requests☆21May 2, 2025Updated 9 months ago
- ☆24Nov 19, 2024Updated last year
- Computational Tools for Heat Exchanger Network Synthesis☆11Jul 16, 2024Updated last year
- Another structural analysis package☆12Jun 3, 2025Updated 8 months ago
- ☆22Dec 15, 2025Updated last month
- Pass loop info to LLVM☆21Sep 4, 2023Updated 2 years ago
- Tectonic typesetting for Julia.☆32Jan 5, 2026Updated last month
- ☆43Nov 15, 2024Updated last year