Porn browser formally-verified in Coq
☆51Aug 26, 2017Updated 8 years ago
Alternatives and similar repositories for pornview
Users that are interested in pornview are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- ☆21Jan 3, 2025Updated last year
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- JHC Haskell compiler split into reusable components☆18Jan 10, 2026Updated 3 months ago
- Auto-parallelizing Pure Functional Language☆27Apr 29, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- 🔖 Better Haskell documentation.☆17Sep 11, 2020Updated 5 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆71Apr 23, 2021Updated 4 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 8 years ago
- Formalising session types in Coq☆18Sep 6, 2019Updated 6 years ago
- ☆18Dec 20, 2013Updated 12 years ago
- scriptable strace☆125Jul 22, 2020Updated 5 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆50Mar 27, 2026Updated 2 weeks ago
- Bioinformatics pipelines with Haskell and Shake☆58Aug 13, 2019Updated 6 years ago
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Aug 16, 2017Updated 8 years ago
- Turn GHC `-pj` profiling output into FlameGraph format.☆13Mar 2, 2018Updated 8 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆157Apr 2, 2026Updated last week
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Dec 13, 2019Updated 6 years ago
- Bidirectional programming in Haskell with monadic profunctors☆49May 17, 2022Updated 3 years ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 5 years ago
- A persistent, RRB-Tree based vector for Rust☆28Mar 23, 2026Updated 2 weeks ago
- Elm bindings for regl.☆12Jun 19, 2025Updated 9 months ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Aug 7, 2021Updated 4 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- Write yourself a typed functional language☆65Oct 11, 2018Updated 7 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- Agda libraries relevant to Moonad☆15Apr 2, 2019Updated 7 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Concurrency library inspired by Erlang/OTP☆19May 9, 2025Updated 11 months ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago