haslab / Alloy4Fun
A webapp for developing and sharing Alloy models
☆22Updated 8 months ago
Alternatives and similar repositories for Alloy4Fun:
Users that are interested in Alloy4Fun are comparing it to the libraries listed below
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Updated 2 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated last year
- Paper and talk☆50Updated last year
- Haskell bindings to Microsoft's Z3 API (unofficial).☆57Updated 11 months ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Updated 2 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Updated 4 years ago
- Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.☆68Updated 9 months ago
- Type Your Matrices For Great Good☆30Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Luck -- A Language for Property-Based Generators☆34Updated 7 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆43Updated 2 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 5 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆69Updated 3 years ago
- Organization and planning for the Initial Types Club☆72Updated 2 years ago
- Notes and handouts from OPLSS 2018☆53Updated 6 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆39Updated 2 weeks ago
- The Software Foundations book, in GHC☆82Updated last month
- Observational Type Theory as an Agda library☆52Updated 7 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆44Updated 2 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆113Updated 2 months ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- Crypto for Haskell☆37Updated 3 years ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆89Updated this week
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆80Updated 8 years ago
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆79Updated 4 years ago