Alternatives and similar repositories for Algar

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

• VictorTaelin / Interaction-Type-Theory
  ☆120Updated 2 years ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆53Updated last month
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• HigherOrderCO-archive / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆44Updated last year
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆53Updated 5 years ago
• lyphyser / deptypes
  ☆17Updated 3 months ago
• HigherOrderCO-archive / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆137Updated 4 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 3 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆19Updated last year
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆27Updated 2 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated 2 weeks ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆140Updated 2 weeks ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆31Updated last year
• Ferric-AI / ferric
  A Probabilistic Programming Language In Rust
  ☆41Updated 3 years ago
• agentultra / lean-4-hackers
  ☆18Updated 4 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆41Updated 2 years ago
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆109Updated last week
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 4 years ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆111Updated last week
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆60Updated 2 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆38Updated last year
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆49Updated 4 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆65Updated 2 years ago
• secure-foundations / vest
  High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus
  ☆46Updated this week
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆113Updated 5 years ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆34Updated 2 years ago
• AeneasVerif / charon
  Analyze Rust crates without touching compiler internals
  ☆287Updated this week