MichaelBurge / pornviewLinks
Porn browser formally-verified in Coq
☆51Updated 7 years ago
Alternatives and similar repositories for pornview
Users that are interested in pornview are comparing it to the libraries listed below
Sorting:
- A nano "theorem prover".☆62Updated 6 years ago
- Abstracting Definitional Interpreters☆68Updated 7 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- Idris, but it's C☆24Updated 7 years ago
- ☆60Updated 6 years ago
- Implementation for ICFP 2020 paper☆53Updated 3 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 12 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- A version of Epigram 1 that can run with newer GHCs☆52Updated 7 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- Build tool for ATS.☆41Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Compositional type checking for Haskell☆37Updated 14 years ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- Work in progress☆37Updated 3 weeks ago
- A minimal proof language.☆206Updated 6 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆61Updated 4 years ago