MatthewHepburn / FSM-Workbench
Create and simulate finite state machines in your browser. Includes interactive exercises.
☆9Updated 7 years ago
Alternatives and similar repositories for FSM-Workbench:
Users that are interested in FSM-Workbench are comparing it to the libraries listed below
- ☆8Updated 7 years ago
- The Haskell LaTeX library.☆199Updated last year
- Agda bindings to SMT-LIB2 compatible solvers.☆96Updated 5 months ago
- Benchmark of the main linear algebra libraries in Haskell☆24Updated 5 years ago
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆40Updated 9 years ago
- Categorical logic from a categorical point of view☆77Updated last year
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- A simple GUI for Agda☆31Updated 9 years ago
- ☆20Updated 4 years ago
- Neuroevolution of Augmented Topologies (NEAT) -- in Haskell☆12Updated 7 years ago
- Purely-functional, coordinate-free linear algebra☆28Updated 7 months ago
- ☆10Updated last week
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- Where my everyday research happens☆52Updated 2 weeks ago
- Document introducing the features and design of the friday library☆24Updated 9 years ago
- Named parameters (keyword arguments) for Haskell☆94Updated 2 weeks ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- Equational laws for free☆254Updated 2 weeks ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- Simple autograder for Haskell programming assignments☆17Updated last month
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 4 years ago
- Generate Haskell code from a type☆134Updated last month
- A (formalised) general definition of type theories☆57Updated 3 years ago
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆53Updated 2 years ago
- A utility for displaying the module dependencies of Haskell programs.☆183Updated 8 months ago
- 🎅🌟❄️☃️🎄🎁☆99Updated 4 months ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆70Updated 5 years ago
- Paper and talk☆53Updated last year
- Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds☆22Updated last year
- ☆162Updated 5 years ago