MarisaKirisame / Coq_codeLinks
☆10Updated 8 years ago
Alternatives and similar repositories for Coq_code
Users that are interested in Coq_code are comparing it to the libraries listed below
Sorting:
- ☆19Updated 9 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- A library for formalizing Haskell types and functions in Coq☆170Updated last year
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- An Open Encyclopedia of Proof Systems☆119Updated 3 years ago
- handouts and notes from the 2017 edition of the summer school☆39Updated 8 years ago
- Towards changing things and see if it proofs☆60Updated 4 years ago
- The Penn Locally Nameless Metatheory Library☆75Updated 5 months ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Updated 6 years ago
- A collection of resources for learning type theory.☆99Updated 9 years ago
- Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding☆46Updated 9 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆32Updated 10 months ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 9 years ago
- Haskell Language Report☆94Updated 5 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆53Updated 6 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 7 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 4 years ago
- A very simple coq layer for spacemacs☆37Updated 6 years ago
- Just a prototype, but will be improved soon.☆22Updated 10 years ago
- formalization of the Dependent Object Types (DOT) calculus☆161Updated 8 years ago
- Resources for the online Type Theory Study Group☆162Updated 7 years ago
- A language based on homotopy type theory with an interval☆83Updated 10 years ago
- Unification and type inference algorithms☆125Updated 10 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆103Updated last year
- The MLPolyR programming language, revived☆25Updated 4 years ago
- ☆59Updated 7 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago