Awesome Open Source

Programming Languages

Search results for monad coq

14 search results found

Category Theory ⭐ 720

An axiom-free formalization of category theory in Coq for personal study and practical work

Interactiontrees ⭐ 180

A Library for Representing Recursive and Impure Programs in Coq

Coq Haskell ⭐ 159

A library for formalizing Haskell types and functions in Coq

Advent Of Coq 2018 ⭐ 134

Advent of Code 2018, in Coq! (https://adventofcode.com/2018)

Monadic effects and equational reasonig in Coq

Hoare Type Theory

Free Compiler ⭐ 38

A Haskell to Coq compiler that represents effectful programs with the free monad

Profunctor Monad ⭐ 33

Bidirectional programming in Haskell with monadic profunctors

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

Lensalgebra ⭐ 17

Towards Optic-Based Algebraic Theories: the Case of Lenses

The Ynot Project source code.

Largecatmodules ⭐ 11

Large category of modules over monads on top of UniMaths and Display category

395 2013 ⭐ 11

Lensstateisyourfather ⭐ 10

Lens, State is your father... and I can prove It!

Coq code accompanying several articles on semantics of functional programming languages

Modeling I/O in Coq using free monads

Free Proving Code ⭐ 8

Library to model effectful programs and prove properties about these programs in Coq

Coq Extensible Effects ⭐ 7

Extensible Effects in Coq

Coq Prelude ⭐ 6

General-purpose monad typeclass hierarchy for Coq

Related Searches

Haskell Monad (681)

Scala Monad (287)

Functional Programming Monad (270)

Javascript Monad (241)

Types Monad (205)

Monad Functor (173)

Ocaml Coq (164)

Monad Monoid (83)

Haskell Coq (63)

1-14 of 14 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.