JuliaComputing / SemiringAlgebra.jl
Semiring Algebra
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for SemiringAlgebra.jl
- Assorted s-expression utilities for Julia☆15Updated 8 months ago
- Functions for declaring and working with grammars and expression trees in Julia.☆24Updated 8 months ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 2 years ago
- eXpression differentiation in Julia☆28Updated 4 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
- Compact display of type information by leveraging constructor syntax☆11Updated 4 years ago
- Julia bindings to the SAT solver picosat☆29Updated 10 months ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 3 years ago
- ☆11Updated 3 years ago
- ☆14Updated last month
- Tectonic typesetting for Julia.☆29Updated 7 months ago
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆29Updated 4 months ago
- Lazy, parallelizable and composable group-by operations☆21Updated 2 years ago
- Prototype of a fuzzer for Julia based on concolic execution☆17Updated 4 years ago
- Immutable empty and singleton collections☆13Updated last year
- Binary blobs with on-the-fly pointer patching☆17Updated 6 years ago
- A pure-Julia, BLIS-style dgemm demo.☆15Updated 6 years ago
- HTML DSL AFAICT☆15Updated last year
- Pattern matching☆52Updated 2 years ago
- A generic and modular framework for building custom iterative algorithms in Julia☆28Updated 2 years ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 3 years ago
- A DSL for modern parsing☆45Updated 7 months ago
- Like a kick in the monads☆41Updated 2 years ago
- Julia package for deconstructing dispatch on NamedTuples.☆12Updated 3 years ago
- High precision replacements for Float64☆11Updated 6 years ago
- metaprogramming for Julia arrays☆13Updated 4 years ago
- Tape based task copying in Turing☆17Updated 3 weeks ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- Representation of infinity in Julia☆14Updated 3 years ago
- Method dispatch based on pattern matching for Julia☆48Updated 7 years ago