wjzz/Agda-small-developments-and-examples wjzz/Agda-small-developments-and-examples

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language Coq
  • Created about 13 years ago
  • Updated about 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wjzz/Agda-small-developments-and-examples
github

wjzz

Reviews

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

Repository Details

A collection of mostly unrelated Agda programs which I found interesting in some way.

More Repositories

1

Agda-reflection-for-semiring-solver

A simple demonstration of the Agda Reflection API
11
star
2

Agda-Representing-Monads

A formalization of some notions from the paper "Representing Monads" by Andrzej Filinski
8
star
3

agda-DTP-examples

Haskell
7
star
4

Agda-mode-improvements

Some simple tools for agda-mode to make programming in Agda even more enjoyable.
Emacs Lisp
5
star
5

Combinatory-logic

A program for generating combinators with certain properties. Inspired by "To mock a mockingbird" by Raymon Smullyan.
Common Lisp
4
star
6

Agda-theorem-library

My collection of rather simple, but useful theorems about basic Agda data types
4
star
7

PumpingLemma

A formalization of the pumping lemma for regular languages in Coq
Verilog
2
star