pornview

Porn viewer

A Coq-based project for building a porn browser

Porn browser formally-verified in Coq

GitHub

51 stars
5 watching
1 forks
Language: Coq
last commit: over 7 years ago

Related projects:

Repository Description Stars
millmany/mmplayerview A custom AVPlayerLayer implementation for presenting videos with smooth transitions and features like cover views, progress bars, and caching. 730
marcinmoskala/videoplayview An Android custom view that embeds a video player with optional features like looping, loading indicators, and image placeholders. 93
michaelhelmick/lassie Library for retrieving basic content from websites 615
jscoq/jscoq An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser. 518
quidproquo/mr_video Allows users to browse and debug VCR recordings 55
martinchavez/linq A test-driven learning project on C# Language Integrated Query (LINQ) concepts and syntax 61
a-g-van-hamel-foundation/mirador An extension to MediaWiki that provides a media viewer for IIIF resources 4
mmcco/verified-parser-example A formally verified parser implementation using Coq and OCaml 20
acorrenson/saturne A verified SAT solver with proof capabilities 28
vlopezj/coq-course A self-reading Coq course for PhD students covering fundamental topics in functional programming and formal verification. 38
partech/browse-command Allows users to open Sitecore items in a new browser window without entering preview mode 3
bordaigorl/rmview A live viewer tool that streams the screen of a reMarkable tablet to a computer window 765
mohanbolisetty/cellview An R-based application to visualize and explore single cell transcriptomic data 19
mithrandie/csvq A command-line tool to operate CSV files with SQL-like query support 1,526
user234683/youtube-local A browser-based client for watching YouTube without Google's tracking and with improved page performance. 550