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 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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 5 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 9 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
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Cλash/Haskell FPGA-based SKI calculus evaluator☆50Mar 27, 2026Updated last month
- 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☆159Apr 23, 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 2 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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☆28Apr 8, 2026Updated 3 weeks ago
- Elm bindings for regl.☆12Jun 19, 2025Updated 10 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
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Agda libraries relevant to Moonad☆15Apr 2, 2019Updated 7 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
- A curated list of awesome Coq frameworks, libraries and software.☆234Apr 24, 2026Updated last week