zenna / Z3.jl
Julia wrapper for The Z3 Theorem Prover (SMT Solver)
☆24Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for Z3.jl
- Like a kick in the monads☆41Updated 2 years ago
- Full-featured traits in Julia. Without full features how dare I say this?☆65Updated 10 months ago
- Assorted s-expression utilities for Julia☆15Updated 8 months ago
- for you with the good questions☆27Updated 3 years ago
- Pattern matching☆52Updated 2 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 2 years ago
- Arithmetic with small and with very large rationals is made fast.☆22Updated last year
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 weeks ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 2 years ago
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆29Updated 4 months ago
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 5 years ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 3 years ago
- A cassette-based debugger | The Other Debugger☆50Updated 2 years ago
- A source code highlighter for Julia.☆37Updated 5 months ago
- A utility package for working with Julia's CodeInfo internal representation.☆19Updated 9 months ago
- Pirating base type NTuple{N,Core.VecElement{T}} -- although base methods are NOT overloaded -- and plundering the great work of eschnett'…☆26Updated 3 years ago
- High precision replacements for Float64☆11Updated 6 years ago
- eXpression differentiation in Julia☆28Updated 4 years ago
- Static numbers in Julia☆37Updated 2 years ago
- A logarithmic number system for Julia.☆59Updated 9 months ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 3 years ago
- Compact display of type information by leveraging constructor syntax☆11Updated 4 years ago
- Optional value handling for Julia☆30Updated 2 years ago
- Julia interface to Z3☆57Updated last month
- A simple static type checker that enforces C-style programming in Julia☆25Updated last year
- Julia bindings to the SAT solver picosat☆29Updated 10 months ago
- Method dispatch based on pattern matching for Julia☆48Updated 7 years ago
- Sugar coating Julia's many ASTs☆42Updated 3 years ago
- Library for compile-time computing in julia☆70Updated 11 months ago
- Tensor algebra utility library☆19Updated last month