BasisResearch / effectfulLinks
An experimental library for metaprogramming with algebraic effects and handlers
☆23Updated 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 9 months ago
- Interaction net resources☆41Updated last week
- A Rust hashconsing library.☆37Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆28Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- Animation of Yves Lafont's Interaction Combinators☆20Updated 3 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆40Updated 11 months ago
- dependent type theory experiment☆26Updated last year
- A WebAssembly implementation in Lean4☆37Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated last week
- A Rust implementation of the Lean kernel☆11Updated 2 years ago
- A well typed by construction kernel language for bidirectional programming☆14Updated 11 months ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 5 years ago
- (early experiments toward) a version-control system for structured data☆18Updated 2 years ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 8 months ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆34Updated this week
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- Datalog with equality for rust☆72Updated 3 weeks ago
- A low level, expressive language☆13Updated last year
- Building group theory from scratch in Lean☆61Updated 4 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated 2 months ago
- Plain-text declaration export for Lean 4☆22Updated last month
- Python bindings for dhall, a functional configuration language☆48Updated last year
- A date and time library for Lean 4☆13Updated 8 months ago
- Experimentation using the xla compiler from rust☆99Updated last year
- ☆55Updated 11 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆36Updated last week
- A simple prolog implementation in Rust☆26Updated 5 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago