BasisResearch / effectfulLinks
An experimental library for metaprogramming with algebraic effects and handlers
☆12Updated last week
Alternatives and similar repositories for effectful
Users that are interested in effectful are comparing it to the libraries listed below
Sorting:
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last month
- Experimentation using the xla compiler from rust☆98Updated last year
- Random variables for Rust☆20Updated 4 months ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 5 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- A library for program induction and learning representations.☆31Updated last year
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 6 years ago
- Safe and idiomatic Julia bindings for Rust☆27Updated 2 years ago
- a datastructure for scalable combinatorial syntax☆19Updated 7 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Dual Number library for Rust☆17Updated 4 years ago
- Functional command-line JSON processor with a bidirectional type system☆24Updated 4 months ago
- (early experiments toward) a version-control system for structured data☆18Updated 2 years ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- ACSets: Algebraic databases as in-memory data structures☆25Updated last month
- Parallel Barnes-Hut t-SNE implementation written in Rust.☆87Updated 2 months ago
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- Command-line spaced repetition scheduler.☆10Updated 10 years ago
- Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)☆22Updated last year
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- 🫓 A parser for the FlatZinc modelling language☆13Updated 7 months ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- Wrappers for BLAS (Fortran)☆81Updated 7 months ago
- Reverse-mode automatic differentiation in Rust (experiment)☆63Updated 4 years ago
- Probabilistic Programming eXecution protocol (PPX)☆75Updated 3 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- RAI: Rust ML framework with composable transformations like JAX.☆94Updated last year
- A low level, expressive language☆13Updated 9 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago