Porn browser formally-verified in Coq
☆51Aug 26, 2017Updated 9 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 7 months ago
- Language independent, reproducible, absolute types.☆22Oct 11, 2025Updated 10 months ago
- AI Agents on 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.
- A quick reference for mapping Coq tactics to Lean tactics☆72Apr 23, 2021Updated 5 years ago
- Auto-parallelizing Pure Functional Language☆27Apr 29, 2019Updated 7 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- 🔖 Better Haskell documentation.☆17Sep 11, 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
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 6 years ago
- ☆17Dec 20, 2013Updated 12 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 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.
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Bioinformatics pipelines with Haskell and Shake☆58Aug 13, 2019Updated 7 years ago
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Aug 16, 2017Updated 9 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆52Mar 27, 2026Updated 5 months ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 7 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆35May 14, 2017Updated 9 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- scriptable strace☆126Jun 30, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Turn GHC `-pj` profiling output into FlameGraph format.☆13Mar 2, 2018Updated 8 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Dec 13, 2019Updated 6 years ago
- Bidirectional programming in Haskell with monadic profunctors☆50May 17, 2022Updated 4 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- Elm bindings for regl.☆13Jul 25, 2026Updated last month
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Aug 7, 2021Updated 5 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- Rust bindings for the Mattermost API☆10May 28, 2026Updated 3 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Symbolic logic expressions☆16Jul 1, 2020Updated 6 years ago
- Agda libraries relevant to Moonad☆15Apr 2, 2019Updated 7 years ago
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated last year
- 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 last year
- Write yourself a typed functional language☆65Oct 11, 2018Updated 7 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆157Aug 24, 2026Updated last week