BasisResearch / effectfulLinks
An experimental library for metaprogramming with algebraic effects and handlers
☆14Updated this week
Alternatives and similar repositories for effectful
Users that are interested in effectful are comparing it to the libraries listed below
Sorting:
- Random variables for Rust☆20Updated last week
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 6 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Experimentation using the xla compiler from rust☆97Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆34Updated 2 months ago
- a datastructure for scalable combinatorial syntax☆19Updated 7 months ago
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 6 years ago
- Parallel Barnes-Hut t-SNE implementation written in Rust.☆87Updated 3 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- Functional command-line JSON processor with a bidirectional type system☆24Updated 5 months ago
- Dual Number library for Rust☆17Updated 4 years ago
- A library for program induction and learning representations.☆31Updated last year
- Wrappers for BLAS (Fortran)☆81Updated 8 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Example of a Julia Package with Rust dependency.☆93Updated 3 years ago
- Safe and idiomatic Julia bindings for Rust☆27Updated 2 years ago
- (early experiments toward) a version-control system for structured data☆19Updated 2 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆52Updated 2 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- Scrut is a testing toolkit for CLI applications. A tool to scrutinize terminal programs without fuss.☆52Updated this week
- Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)☆22Updated 2 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Command-line spaced repetition scheduler.☆10Updated 10 years ago
- Call Julia from Rust☆16Updated 8 years ago
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last month
- An interaction combinator runtime☆17Updated last year
- ☆24Updated 2 years ago