Alternatives and similar repositories for Alloy4Fun

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

• OPLSS / oplss-notes-2018
  Notes and handouts from OPLSS 2018
  ☆55Updated 7 years ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆30Updated 6 years ago
• dlicata335 / hott-agda
  ☆85Updated 8 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆74Updated 5 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 6 years ago
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆71Updated 4 years ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 3 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 4 years ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 4 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆55Updated 2 years ago
• kevinsullivan / cs1113f16
  CS1 through Type Theory
  ☆17Updated 8 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆38Updated 5 years ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 6 years ago
• meta-logic / coq-ll
  Formalization of Linear Logic in Coq
  ☆18Updated 8 months ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆77Updated 3 years ago
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆60Updated 3 months ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆74Updated 6 years ago
• langston-barrett / coq-big-o
  A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
  ☆36Updated 8 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆63Updated 5 months ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated last month
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• rocq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆47Updated 5 months ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆41Updated 3 years ago
• hablapps / LensAlgebra
  Towards Optic-Based Algebraic Theories: the Case of Lenses
  ☆17Updated 7 years ago
• Coq-Math-Problems / Problems
  ☆16Updated 8 years ago
• AndrasKovacs / SemanticsWithApplications
  Formal semantics in Agda.
  ☆16Updated 10 years ago
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆57Updated 3 years ago
• bobatkey / sott
  Simplified Observational Type Theory
  ☆86Updated 2 years ago