BasisResearch / effectfulLinks
An experimental library for metaprogramming with algebraic effects and handlers
☆11Updated this week
Alternatives and similar repositories for effectful
Users that are interested in effectful are comparing it to the libraries listed below
Sorting:
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 2 months ago
- Random variables for Rust☆20Updated last month
- A library for program induction and learning representations.☆30Updated last year
- Simulation of point processes in the Rust programming language☆43Updated 2 years ago
- A little library of bit-based data structures.☆16Updated 3 months ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- a datastructure for scalable combinatorial syntax☆18Updated 4 months ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Functional command-line JSON processor with a bidirectional type system☆24Updated last month
- A Probabilistic Programming Language In Rust☆40Updated 3 years ago
- Python Wrappings for exploring Set Substitution Systems (Wolfram Models)☆15Updated 5 years ago
- Linear Algebra in Rust☆13Updated last month
- Hierarchical Greedy Graph☆15Updated 2 years ago
- Parallel Barnes-Hut t-SNE implementation written in Rust.☆79Updated 9 months ago
- Collection of examples for showcasing various Rust graph data structure libraries.☆24Updated 5 months ago
- Rust implementation of the Loopy Belief propagation algorithm for inference in Bayesian Networks☆34Updated 3 years ago
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 5 years ago
- Low effort scraping Python's pickle format in Rust. It is to complete pickle parsing as BeautifulSoup was to complete HTML parsing.☆25Updated last year
- Rustic bindings for IREE☆18Updated 2 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- HTML representation for Python objects.☆16Updated 2 months ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Rust bindings to GAP (Groups, Algorithms, Programming)☆24Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated last month
- A Graph library written in Rust for implementing your own algorithms in a Pregel fashion☆11Updated 6 months ago
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 11 months ago
- 🦀 Online statistics in Rust☆65Updated 2 months ago
- MOSEK Optimizer API for Rust☆12Updated 2 months ago
- Call Julia from Rust☆16Updated 8 years ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year