wouter-swierstra/predicate-transformers wouter-swierstra/predicate-transformers

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language Agda
  • Created about 7 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wouter-swierstra/predicate-transformers
github

wouter-swierstra

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

Brainfuck

A Brainfuck interpreter written in Agda
Agda
50
star
2

xmonad

xmonad in Coq
Coq
43
star
3

hbral

Hetergeneous binary random-access lists
Haskell
8
star
4

Bird

Formalization of Richard Bird's Pearls of Functional Algorithm Design
Coq
6
star
5

Data.Stream

Coprogramming with infinite lists
Haskell
4
star
6

logic-notes

Lecture notes for the course on 'Logic for Computer Science' taught at Utrecht University.
TeX
3
star
7

agda2hs-cabal

Example project showing how to integrate agda2hs as preprocessor using Cabal
Haskell
3
star
8

ants

AFP 2017 Ants exercise
Haskell
2
star
9

concepts-slide-template

TeX
1
star
10

formal-methods-nl

A research agenda for formal methods in the Netherlands -- abstracts of our Lorentz Center meeting
TeX
1
star
11

fp-dag

1
star