haslab / Alloy4FunLinks
A webapp for developing and sharing Alloy models
☆24Updated last year
Alternatives and similar repositories for Alloy4Fun
Users that are interested in Alloy4Fun are comparing it to the libraries listed below
Sorting:
- Paper and talk☆54Updated last year
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated 3 weeks ago
- ☆84Updated 7 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆54Updated 9 months ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆47Updated 2 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Updated 4 years ago
- An experimental Haskell library for programming with effectful runners.☆30Updated 5 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆71Updated 6 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- A verified compiler for a lazy functional language☆36Updated last week
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Type Your Matrices For Great Good☆29Updated 4 years ago
- Total Parser Combinators in Coq [maintainer=@womeier]☆44Updated last week
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 4 months ago
- A quick reference for mapping Coq tactics to Lean tactics☆72Updated 4 years ago
- Generate a special combinator from any data type.☆10Updated 5 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆83Updated 4 years ago
- Notes and handouts from OPLSS 2018☆55Updated 6 years ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆35Updated 5 years ago
- A tutorial on how Agda infers things☆52Updated 4 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆48Updated 8 months ago
- checkers for algebra driven design☆34Updated 2 years ago
- Convert Haskell source code to Coq source code.☆85Updated last week
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 8 years ago
- Implementation of Nuprl's type theory in Coq☆45Updated 7 months ago