Alternatives and similar repositories for effectful

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

• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 11 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 3 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆41Updated 2 years ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆19Updated 2 years ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆41Updated last year
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆53Updated 5 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆38Updated last year
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆43Updated last week
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆26Updated 2 years ago
• luleyleo / cargo-futhark
  Futhark integration for Rust projects
  ☆16Updated 4 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated 2 weeks ago
• ammkrn / timelib
  A date and time library for Lean 4
  ☆14Updated 9 months ago
• digama0 / lean-sys
  Rust bindings for the Lean 4 proof assistant
  ☆45Updated 4 months ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆23Updated 4 years ago
• SparkyPotato / yam
  A low level, expressive language
  ☆14Updated last year
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆40Updated last week
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated 3 weeks ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆65Updated 2 months ago
• ehatti / konna
  ☆16Updated 3 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆62Updated 5 years ago
• yurivish / made-of-bits
  A little library of bit-based data structures.
  ☆21Updated 5 months ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆28Updated last year
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆32Updated last year