GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → Lysxia → Profunctor Monad

Lysxia / Profunctor Monad

Licence: mit
Bidirectional programming in Haskell with monadic profunctors

Labels

coq

Projects that are alternatives of or similar to Profunctor Monad

Finset
A Coq library for extensional finite sets and comprehension
Stars: ✭ 6 (-80%)
Mutual labels:  coq
Monads
Coq code accompanying several articles on semantics of functional programming languages
Stars: ✭ 9 (-70%)
Mutual labels:  coq
Jt89
sn76489an compatible Verilog core, with emphasis on FPGA implementation and Megadrive/Master System compatibility
Stars: ✭ 14 (-53.33%)
Mutual labels:  coq
Micro Policies Coq
Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
Stars: ✭ 18 (-40%)
Mutual labels:  coq
Cufp 2015 Tutorial
An introductory tutorial for the Coq proof assistant.
Stars: ✭ 9 (-70%)
Mutual labels:  coq
Dblib Linear
Formalisation of the linear lambda calculus in Coq
Stars: ✭ 10 (-66.67%)
Mutual labels:  coq
Software Foundations
Coq proofs of exercises in Pierce's book
Stars: ✭ 5 (-83.33%)
Mutual labels:  coq
Coq Printf
Implementation of sprintf for Coq
Stars: ✭ 15 (-50%)
Mutual labels:  coq
Hott Species
Combinatorial species in HoTT
Stars: ✭ 9 (-70%)
Mutual labels:  coq
Ledgertheory
Stars: ✭ 12 (-60%)
Mutual labels:  coq
Autosubst
Automation for de Bruijn syntax and substitution in Coq
Stars: ✭ 22 (-26.67%)
Mutual labels:  coq
Coqpie
CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)
Stars: ✭ 8 (-73.33%)
Mutual labels:  coq
Coqjvm
Coq executable semantics and resource verifier
Stars: ✭ 10 (-66.67%)
Mutual labels:  coq
Coq Guarded Computational Type Theory
Stars: ✭ 18 (-40%)
Mutual labels:  coq
Hello World
A Hello World program in Coq.
Stars: ✭ 14 (-53.33%)
Mutual labels:  coq
Crimp
Certified Relational to Imperative
Stars: ✭ 5 (-83.33%)
Mutual labels:  coq
Software Foundations
Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
Stars: ✭ 9 (-70%)
Mutual labels:  coq
Hott
Homotopy type theory
Stars: ✭ 946 (+3053.33%)
Mutual labels:  coq
Vvclocks
Verified vector clocks, with Coq!
Stars: ✭ 14 (-53.33%)
Mutual labels:  coq
Stalin Sort
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
Stars: ✭ 868 (+2793.33%)
Mutual labels:  coq
View All Similar Projects ➔

Bidirectional Programming with Monadic Profunctors

This package provides tools to work with monadic profunctors: types that are both monads and profunctors.

Applications

Currently known instances of monadic profunctors are certain types of bidirectional programs, i.e., programs that have "invertible" interpretations.

See also

  • codec for a general monadic profunctor for bidirectional programming, has implementations for aeson and binary. The idea of monadic profunctors first came from this package.

More bidirectional programming in Haskell

Generic programming with monoidal profunctors

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].