Alternatives and similar repositories for effectful

Users that are interested in effectful are comparing it to the libraries listed below

• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆39Updated 2 years ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆18Updated 2 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 10 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 5 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆73Updated 3 weeks ago
• HigherOrderCO / kindbook
  ☆55Updated last year
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆38Updated last year
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆41Updated last year
• promised-ai / rv
  Random variables for Rust
  ☆30Updated last month
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 3 years ago
• luleyleo / cargo-futhark
  Futhark integration for Rust projects
  ☆16Updated 3 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated last week
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆28Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• procyon-rs / showata
  A library of to show data (in browser, evcxr_jupyter) as table, chart...
  ☆29Updated 8 months ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• ammkrn / timelib
  A date and time library for Lean 4
  ☆13Updated 8 months ago
• lorepozo / program-induction
  A library for program induction and learning representations.
  ☆32Updated 2 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆30Updated 2 years ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆10Updated 9 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated last year
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆23Updated 3 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆62Updated 4 years ago
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated last year
• aslpavel / fingertree-rs
  FingerTree implemented in rust
  ☆27Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 3 years ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆27Updated last month