Joey Eremondi

icon indicating a website link http://eremondi.com

icon company University of Regina icon location Regina, Saskatchewan, Canada icon location Assistant Prof. at the University of Regina. Interested in programming languages, dependent types, Agda, Idris, Lean, etc.

Results 5 repositories owned by Joey Eremondi

aoc-2020-idris

17
Stars
1
Forks
Watchers

My Idris2 solutions/attempts for Advent of Code 2020

verified publisher icon JoeyEremondi

haskelm

49
Stars
2
Forks
Watchers

Haskell to Elm translation using Template Haskell. Contains both a library and executable.

verified publisher icon JoeyEremondi

haskelm-old

17
Stars
0
Forks
Watchers

Haskell to Elm translation using Template Haskell. Contains both a library and executable.

verified publisher icon JoeyEremondi

lambda-pi-constraint

16
Stars
0
Forks
Watchers

verified publisher icon JoeyEremondi

pl-lt-rules

17
Stars
1
Forks
Watchers

Rules for writing academic papers and checking them using LTex-ls and LanguageTool

verified publisher icon JoeyEremondi