AlgebraicJulia / ACSets.jl
ACSets: Algebraic databases as in-memory data structures
☆18Updated 3 weeks ago
Related projects: ⓘ
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated last month
- Bayesian inference on wiring diagrams.☆18Updated 11 months ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆12Updated 10 months ago
- Like a kick in the monads☆39Updated 2 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆25Updated last week
- collective tools for Julia SSA IR.☆29Updated 9 months ago
- Relational Algebra, now with more algebra!☆48Updated 10 months ago
- It's interpreters all the way down.☆13Updated 3 years ago
- ☆14Updated 2 weeks ago
- Assorted s-expression utilities for Julia☆15Updated 6 months ago
- ☆11Updated 3 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated 10 months ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 months ago
- Time travel in JuliaLang. (Useful for testing what code did before your changes)☆17Updated last year
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 2 years ago
- Monad implementation in Julia☆13Updated 3 years ago
- Monoid, Functor, Applicative, Monad and more☆16Updated last year
- ☆13Updated last year
- A collaborative environment for formal, interoperable, conceptual modeling☆12Updated this week
- A utility package for working with Julia's CodeInfo internal representation.☆20Updated 7 months ago
- ProjectEuler.jl is a package that allows offline access to challenging mathematical problems from Project Euler through Julia's REPL. It …☆19Updated last year
- Syntax aware code search for Julia☆13Updated 4 months ago
- A Petri net modeling framework for the Julia programming language☆40Updated 9 months ago
- A graphical editor for graph-like structures☆93Updated 9 months ago
- Tables.jl-friendly mechanisms for constructing, reading, writing, and validating Arrow tables against extensible, versioned, user-specifi…☆24Updated last week
- Full-featured traits in Julia. Without full features how dare I say this?☆63Updated 8 months ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 2 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆37Updated 2 weeks ago
- Static numbers in Julia☆36Updated 2 years ago
- no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.☆15Updated last month