Alternatives and similar repositories for arboretum

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

• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆27Updated 5 months ago
• typst / biblatex
  A Rust crate for parsing and writing BibTeX and BibLaTeX files.
  ☆159Updated last month
• cau-placc / pakcs
  PAKCS: The Portland Aachen Kiel Curry system
  ☆13Updated 3 weeks ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆71Updated this week
• luleyleo / cargo-futhark
  Futhark integration for Rust projects
  ☆15Updated 2 months ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆133Updated 2 months ago
• rotty / lexpr-rs
  Rust Lisp expression parser and serializer
  ☆191Updated last year
• fcard / multimethods.rs
  Multiple Dispatch in Rust
  ☆20Updated 6 years ago
• LexiFi / menhir
  ☆22Updated last year
• s-arash / ascent
  Logic programming in Rust
  ☆520Updated 3 weeks ago
• terminusdb-labs / swipl-rs
  ☆31Updated last year
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆38Updated 10 months ago
• Nadrieril / dhall-rust
  Maintainable configuration files, for Rust users
  ☆324Updated 2 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 3 months ago
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆14Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• blas-lapack-rs / lapack
  Wrappers for LAPACK (Fortran)
  ☆89Updated 9 months ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆66Updated this week
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆103Updated 2 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆78Updated 3 months ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆122Updated last month
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆108Updated 2 weeks ago
• jix / varisat
  SAT solver written in Rust
  ☆275Updated 3 years ago
• agentultra / lean-4-hackers
  ☆18Updated 3 years ago
• lyphyser / deptypes
  ☆16Updated 2 weeks ago
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆486Updated last year
• diku-dk / futhark-website
  Git repository containing the Futhark website.
  ☆10Updated 2 weeks ago
• sdiehl / typechecker-zoo
  A menagerie of cute implementations of modern typechecking algorithms
  ☆341Updated 2 weeks ago
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆94Updated last month
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago