pornview
Porn viewer
A Coq-based project for building a porn browser
Porn browser formally-verified in Coq
51 stars
5 watching
1 forks
Language: Coq
last commit: about 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 | 613 |
 jscoq/jscoq | An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser. | 515 |
 quidproquo/mr_video | Allows users to browse and debug VCR recordings | 54 |
 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 | A Sitecore command that allows users to browse to a content item in a new window. | 3 |
 bordaigorl/rmview | A live viewer tool that streams the screen of a reMarkable tablet to a computer window | 764 |
 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,520 |
 user234683/youtube-local | A browser-based client for watching YouTube without Google's tracking and with improved page performance. | 537 |