MichaelBurge / pornviewView external linksLinks
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
Sorting:
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- JHC Haskell compiler split into reusable components☆18Jan 10, 2026Updated last month
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- Some writings about a type system for nix☆19Dec 18, 2017Updated 8 years ago
- scriptable strace☆125Jul 22, 2020Updated 5 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆71Apr 23, 2021Updated 4 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- Elm bindings for regl.☆12Jun 19, 2025Updated 7 months ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Auto-parallelizing Pure Functional Language☆27Apr 29, 2019Updated 6 years ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Jan 14, 2019Updated 7 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- Chess Engine written in Haskell☆15Jul 6, 2018Updated 7 years ago
- Library and example web app for the SAML Web-based SSO profile.☆16Mar 28, 2025Updated 10 months ago
- Agda libraries relevant to Moonad☆14Apr 2, 2019Updated 6 years ago
- Turn GHC `-pj` profiling output into FlameGraph format.☆13Mar 2, 2018Updated 7 years ago
- Symbolic logic expressions☆15Jul 1, 2020Updated 5 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆157Jan 27, 2026Updated 2 weeks ago
- Optimised bilinear pairings over elliptic curves☆56Feb 3, 2024Updated 2 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Bioinformatics pipelines with Haskell and Shake☆58Aug 13, 2019Updated 6 years ago
- 🔖 Better Haskell documentation.☆17Sep 11, 2020Updated 5 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 8 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆162Nov 29, 2020Updated 5 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆51Jan 9, 2016Updated 10 years ago
- Template repo for theorem proving in Liquid Haskell☆32Sep 19, 2018Updated 7 years ago
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 2 years ago
- A persistent, RRB-Tree based vector for Rust☆18Updated this week
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Aug 16, 2017Updated 8 years ago
- A Zookeeper backend for Cloud Haskell.☆13Sep 9, 2017Updated 8 years ago
- Smart tmux sessions☆11May 8, 2018Updated 7 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year
- Write yourself a typed functional language☆65Oct 11, 2018Updated 7 years ago
- 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
- A curated list of awesome Coq frameworks, libraries and software.☆233Feb 5, 2026Updated last week
- WIP: VSCode remote container for Nix-based environments☆13Dec 15, 2023Updated 2 years ago
- A Haskell library to pretty print data in a tabular format☆11Mar 18, 2018Updated 7 years ago