• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Agda
  • Created over 10 years ago
  • Updated about 9 years ago

Reviews

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

Repository Details

This repository has moved to https://gitlab.com/joaopizani/piware-agda

More Repositories

1

multiarch-toolchain-buildscripts

This repository has moved to https://gitlab.com/joaopizani/multiarch-toolchain-buildscripts
Shell
9
star
2

env.screenrc-ftw

This repository has moved to https://gitlab.com/joaopizani/env.screenrc-ftw
Shell
8
star
3

env.modular-xplatform-vim-cfg

This repository has moved to https://gitlab.com/joaopizani/env.modular-xplatform-vim-cfg
HTML
6
star
4

env.kindle3wifi-ssh

This repository has moved to https://gitlab.com/joaopizani/env.kindle3wifi-ssh
Shell
6
star
5

piware

This repository has moved to https://gitlab.com/joaopizani/piware
TeX
3
star
6

functional-hardware-survey

This repository has moved to https://gitlab.com/joaopizani/functional-hardware-survey
TeX
2
star
7

haskell-ants-edsl-afp2012

This repository has moved to https://gitlab.com/joaopizani/haskell-ants-edsl-afp2012
Haskell
1
star
8

avr-wavegen

This repository has moved to https://gitlab.com/joaopizani/avr-wavegen
C
1
star
9

katas

This repository has moved to https://gitlab.com/joaopizani/katas
Haskell
1
star
10

env.gnu-screen-shared

This repository has moved to https://gitlab.com/joaopizani/env.gnu-screen-shared
Shell
1
star
11

avr-alarm

This repository has moved to https://gitlab.com/joaopizani/avr-alarm
C
1
star
12

env.rtorrentrc

This repository has moved to https://gitlab.com/joaopizani/env.rtorrentrc
Shell
1
star
13

env.haskell-vim-cfgs

This repository has moved to https://gitlab.com/joaopizani/env.haskell-vim-cfgs
Vim Script
1
star
14

env.modular-hs-vim-ide

This repository has moved to https://gitlab.com/joaopizani/env.modular-hs-vim-ide
Shell
1
star