Alternatives and similar repositories for Algar

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

• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆31Updated last year
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆53Updated 5 years ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆60Updated 2 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated 2 weeks ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆54Updated 10 months ago
• HigherOrderCO-archive / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆44Updated last year
• pi-pi3 / julia-rs
  Safe and idiomatic Julia bindings for Rust
  ☆27Updated 2 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 3 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆41Updated 2 years ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆27Updated 2 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated 2 years ago
• ferrous-systems / why-rust
  A half-day introduction to the Rust Programming Language, for Managers, Technical Leads and Decision Makers.
  ☆41Updated 2 years ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆137Updated 4 months ago
• samuelsonric / AlgebraicInference.jl
  Bayesian inference on wiring diagrams.
  ☆18Updated 2 years ago
• AeneasVerif / charon
  Analyze Rust crates without touching compiler internals
  ☆287Updated this week
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆27Updated this week
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• Eh2406 / quadrature
  Fast Numerical Integration
  ☆24Updated 6 years ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆111Updated last week
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆30Updated 3 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆49Updated 4 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆79Updated last month
• Erk- / genfut
  Generate bindings for Futhark
  ☆40Updated 3 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 4 years ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆46Updated this week
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆19Updated last year
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆104Updated 2 years ago