cando / AlgarLinks
Algebraic structures, higher-kinded types and other category theory bad ideas
☆19Updated 2 years ago
Alternatives and similar repositories for Algar
Users that are interested in Algar are comparing it to the libraries listed below
Sorting:
- ACSets: Algebraic databases as in-memory data structures☆25Updated 2 months ago
- Generate Rust wrappers for Julia types that can be used with jlrs☆21Updated 2 years ago
- Safe and idiomatic Julia bindings for Rust☆28Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last week
- A Probabilistic Programming Language In Rust☆40Updated 3 years ago
- A rust fork to work towards Enzyme integration☆90Updated 3 weeks ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- N-dimensional interpolation methods in Rust, no-std compatible☆18Updated 4 months ago
- Core functionality jlrs depends on, generate Rust implementations of Julia structs, and bind Rust code to a Julia module☆20Updated 3 months ago
- ☆16Updated last month
- A regex crate using Brzozowski derivatives.☆26Updated 2 months ago
- Jupyter Kernel Protocol for rust☆13Updated last week
- Macros for using smol-rs☆13Updated 5 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆31Updated last week
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 3 months ago
- ☆12Updated 2 months ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- A half-day introduction to the Rust Programming Language, for Managers, Technical Leads and Decision Makers.☆37Updated last year
- Fast Numerical Integration☆23Updated 6 years ago
- Generalized (hyper-) dual numbers in rust☆69Updated 2 weeks ago
- Time travel in JuliaLang. (Useful for testing what code did before your changes)☆17Updated last year
- A lazy clause generation constraint solver written in Rust.☆34Updated this week
- Benchmarks for differentiable programming across languages and domains.☆40Updated this week
- Julia binding for MMTk☆19Updated 2 weeks ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆40Updated 7 months ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Implementing extensible effects in Julia☆13Updated 2 years ago
- The Nix interface to Julia Ecosystem [maintainer=@GTrunSec]☆41Updated last year
- Example of a Julia Package with Rust dependency.☆92Updated 3 years ago
- Bounded integers for Rust☆31Updated 6 months ago