Derek Elkins

icon indicating a website link https://www.hedonisticlearning.com

Results 2 repositories owned by Derek Elkins

agda-vim

128
Stars
45
Forks
Watchers

Agda interaction in vim

verified publisher icon derekelkins

sws

15
Stars
3
Forks
Watchers

A simple web server for serving directories.

verified publisher icon derekelkins