MichaelBurge / Pornview
Porn browser formally-verified in Coq
Stars: ✭ 42
Labels
Projects that are alternatives of or similar to Pornview
Software Foundations
Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
Stars: ✭ 9 (-78.57%)
Mutual labels: coq
Certint
A Certified Interpreter for ML with Structural Polymorphism
Stars: ✭ 39 (-7.14%)
Mutual labels: coq
Jt89
sn76489an compatible Verilog core, with emphasis on FPGA implementation and Megadrive/Master System compatibility
Stars: ✭ 14 (-66.67%)
Mutual labels: coq
Dblib Linear
Formalisation of the linear lambda calculus in Coq
Stars: ✭ 10 (-76.19%)
Mutual labels: coq
Stalin Sort
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
Stars: ✭ 868 (+1966.67%)
Mutual labels: coq
Monads
Coq code accompanying several articles on semantics of functional programming languages
Stars: ✭ 9 (-78.57%)
Mutual labels: coq
Cufp 2015 Tutorial
An introductory tutorial for the Coq proof assistant.
Stars: ✭ 9 (-78.57%)
Mutual labels: coq
Freespec
A framework for implementing and certifying impure computations in Coq
Stars: ✭ 41 (-2.38%)
Mutual labels: coq
Profunctor Monad
Bidirectional programming in Haskell with monadic profunctors
Stars: ✭ 30 (-28.57%)
Mutual labels: coq
Instructions
- Install Coq 8.6.1, and make sure
coqc
is in your PATH. -
make
to buildDatabase.hs
-
stack build
to compile the Haskell -
stack exec pv
to run the server - Navigate to
localhost:1234
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].