lives-group/red-black-trees-agda lives-group/red-black-trees-agda

  • Stars
    star
    2
  • Language Agda
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lives-group/red-black-trees-agda
github

lives-group

Reviews

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

Repository Details

A formalization of red-black trees in Agda

More Repositories

1

time-complexity-verification

Formal verification of time complexity of some algorithms in Agda
Agda
6
star
2

redexPEG

Racket
3
star
3

APEG

Java
2
star
4

typed-peg

Racket
2
star
5

EthereumRedex

Racket
1
star
6

proof-search

TeX
1
star
7

racket-dsl-tutorial

Code for a tutorial on building DSLs with Racket
Racket
1
star
8

APEGHaskell

Haskell
1
star
9

vpeg

JavaScript
1
star
10

racket-ebpf

TeX
1
star
11

PegSSM

Haskell
1
star
12

apeg-redex

A Redex formalization of APEG
Racket
1
star
13

arduinoLTL

Haskell
1
star