Alternatives and similar repositories for FSM-Workbench:

Users that are interested in FSM-Workbench are comparing it to the libraries listed below

• bnelo12 / Pig-Latin-Unit-Tester
  ☆8Updated 7 years ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆187Updated 9 months ago
• maciej-bendkowski / boltzmann-brain
  Analytic sampler compiler for combinatorial systems
  ☆30Updated 2 years ago
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆72Updated 4 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆36Updated 2 years ago
• kbuzzard / lean-stacks-project
  Formal verification of parts of the Stacks Project in Lean
  ☆21Updated 3 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆140Updated last month
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• mvr / cf
  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
  ☆40Updated 9 years ago
• well-typed / visualize-cbn
  ☆100Updated last month
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆24Updated 5 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• berenoguz / Math
  Formalization of Mathematics using Type Theory of Agda Programming Language
  ☆11Updated 7 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆57Updated 2 months ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆78Updated last year
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆63Updated 3 years ago
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆97Updated 6 months ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆24Updated last week
• nonilole / Conan
  A proof editor for first order logic
  ☆25Updated 4 years ago
• abooij / wiwikwlhott
  What I wish I knew when learning HoTT
  ☆53Updated 6 years ago
• paulaneeley / modal
  ☆14Updated 4 years ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆52Updated last year
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆146Updated 6 months ago
• Timeroot / ComputableReal
  computable implementation of real numbers in Lean4
  ☆34Updated 3 weeks ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated 2 months ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆78Updated this week
• haskellfoundation / volunteering
  Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.
  ☆26Updated 2 years ago