pornview
by MichaelBurge
Porn browser formally-verified in Coq
AI summary
Porn viewer
A Coq-based project for building a porn browser
- stars
- 51
- forks
- 1
- watching
- 5
Similar projects
Found by comparing what the projects do, not just their names.
Video player layer
A custom AVPlayerLayer implementation for presenting videos with smooth transitions and features like cover views, progress bars, and caching.
Video viewer
An Android custom view that embeds a video player with optional features like looping, loading indicators, and image placeholders.
Content scraper
Library for retrieving basic content from websites
jscoq/jscoq518
Coq IDE
An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser.
Recording viewer
Allows users to browse and debug VCR recordings
C# LINQ tutorial
A test-driven learning project on C# Language Integrated Query (LINQ) concepts and syntax
Media viewer
An extension to MediaWiki that provides a media viewer for IIIF resources
Formal Parser
A formally verified parser implementation using Coq and OCaml
SAT solver
A verified SAT solver with proof capabilities
Coq course
A self-reading Coq course for PhD students covering fundamental topics in functional programming and formal verification.
Item opener
Allows users to open Sitecore items in a new browser window without entering preview mode
Screen viewer
A live viewer tool that streams the screen of a reMarkable tablet to a computer window
Data viewer
An R-based application to visualize and explore single cell transcriptomic data
mithrandie/csvq1.5K
CSV processor
A command-line tool to operate CSV files with SQL-like query support
YouTube viewer
A browser-based client for watching YouTube without Google's tracking and with improved page performance.
