MatthewHepburn / FSM-Workbench

Related projects ⓘ

Alternatives and complementary repositories for FSM-Workbench

• bnelo12 / Pig-Latin-Unit-Tester
  ☆8Updated 7 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆74Updated 2 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆17Updated 2 weeks ago
• andrejbauer / marshall
  Real number computation software
  ☆121Updated 2 years ago
• VMatthijs / CHAD
  ☆21Updated 2 years ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 4 years ago
• haskell / alex
  A lexical analyser generator for Haskell
  ☆298Updated 4 months ago
• mvr / cf
  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
  ☆40Updated 9 years ago
• jtristan / stump-learnable
  ☆16Updated 3 years ago
• nick8325 / quickspec
  Equational laws for free
  ☆250Updated 8 months ago
• alpha-convert / delta
  Implementation of the Delta Language
  ☆6Updated 8 months ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆112Updated 3 years ago
• harp-project / AML-Formalization
  ☆10Updated last week
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆164Updated 3 weeks ago
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated last year
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆71Updated 2 years ago
• Naproche-SAD / Naproche-SAD
  ☆20Updated 3 years ago
• jwshii / etna
  ☆10Updated last week
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆129Updated 4 years ago
• blanchette / logical_verification_2022
  Logical Verification 2022-2023 course at VU Amsterdam
  ☆17Updated 9 months ago
• dtraytel / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆8Updated 2 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆181Updated 5 months ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆121Updated 3 months ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆107Updated 2 years ago
• abooij / wiwikwlhott
  What I wish I knew when learning HoTT
  ☆53Updated 5 years ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆291Updated last week
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆157Updated 5 months ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 8 years ago
• madvorak / lean4-tactics
  Overview of tactics in Lean 4 for beginners — longer version
  ☆59Updated 2 months ago