BasisResearch / effectfulLinks
An experimental library for metaprogramming with algebraic effects and handlers
☆19Updated this week
Alternatives and similar repositories for effectful
Users that are interested in effectful are comparing it to the libraries listed below
Sorting:
- a datastructure for scalable combinatorial syntax☆19Updated 8 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- (early experiments toward) a version-control system for structured data☆19Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆34Updated 3 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆65Updated 4 years ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆37Updated 10 months ago
- A WebAssembly implementation in Lean4☆37Updated last year
- dependent type theory experiment☆26Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- A Rust hashconsing library.☆34Updated last year
- A Rust implementation of the Lean kernel☆11Updated 2 years ago
- Animation of Yves Lafont's Interaction Combinators☆19Updated 3 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last month
- A low level, expressive language☆13Updated 10 months ago
- A well typed by construction kernel language for bidirectional programming☆13Updated 10 months ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Futhark integration for Rust projects☆14Updated last month
- Datalog + Egg = Good☆66Updated 2 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- A date and time library for Lean 4☆12Updated 6 months ago
- FingerTree implemented in rust☆27Updated last year
- Building group theory from scratch in Lean☆60Updated 4 years ago
- ACSets: Algebraic databases as in-memory data structures☆26Updated last week
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆32Updated this week
- A framework for applied category theory in the Julia language☆11Updated 3 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆40Updated last week
- Plain-text declaration export for Lean 4☆22Updated 2 weeks ago