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:
- Random variables for Rust☆20Updated last month
- A date and time library for Lean 4☆12Updated 3 months ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 3 months ago
- Simulation of point processes in the Rust programming language☆45Updated 2 years ago
- A library for program induction and learning representations.☆31Updated last year
- Functional command-line JSON processor with a bidirectional type system☆24Updated 2 months ago
- Interfacing with Large Language Models (remote and local) from Lean.☆27Updated last year
- ☆31Updated this week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last week
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- Scrut is a testing toolkit for CLI applications. A tool to scrutinize terminal programs without fuss.☆45Updated this week
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 5 years ago
- A Probabilistic Programming Language In Rust☆40Updated 3 years ago
- Rust data structures and client for the PubChem REST API☆12Updated 2 years ago
- a datastructure for scalable combinatorial syntax☆18Updated 4 months ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- ☆11Updated last year
- Experimentation using the xla compiler from rust☆95Updated 11 months ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Updated last year
- Jupyter libraries for Rust☆60Updated this week
- 🦀 Online statistics in Rust☆66Updated last week
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆12Updated 11 months ago
- An LLVM interface for Lean 4. (WIP)☆22Updated last year
- Parallel Barnes-Hut t-SNE implementation written in Rust.☆88Updated last week
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆35Updated 12 years ago
- Differentiable Rust Graphs (neural network library)☆16Updated 6 years ago
- An interaction combinator runtime☆17Updated 9 months ago
- Template for Lean<->Rust FFI☆12Updated last year
- A Catlab-compatible implementation of acsets in python.☆12Updated last year
- Efficient implementations of Needleman-Wunsch and other sequence alignment algorithms written in Rust with Python bindings via PyO3.☆72Updated 4 months ago