Joey Eremondi

Metropolis Beamer theme with UBC Colors and Logo

Lecture notes, slides, and code for CS350 at the University of Regina

Racket #lang for teaching Functional Languages, Interpreters and Types (FLIT)

A TODO list feature for DrRacket, like to Agda's goal list but for any language. Modified to be vertical instead of horizontal

Handin Client and .plt file for University of Regina CS 350

Fork of the Agda Cubical library to only use --cubical when Glue is actually used

Course notes for CS 115 at the University of Regina, section taught by Dr. Joseph Eremondi

Agda compiler and stdlib packaged as a snap, meant for installing in labs/school computers.

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

An introduction to programming language theory in Agda

Academic Homepage for Joey Eremondi

An Agda library for tactics that partially solve a goal

Model of Gradual Dependent Types in Guarded Type Theory

Type and effect system for Pattern match analysis in Elm

An Agda Library for Strictly Monotone Brouwer Trees

Code for "Set Constraints, Pattern Match Analysis and SMT"

A basic Categories with Families library for Lean

Ott Support for Visual Studio Code

Chan-style sized types for Idris 2, including a max operator

A library for compiling Elm to JavaScript from within Haskell

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

No description provided.

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

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

Racket wrapper for some Moodle WebServices API functions. Useful to hook in to e.g. Handin

Racket wrapper for some Moodle WebServices API functions

Handin server and client

Fork of Racket's "plait", but with additions to help with teaching typed functional programming.

Config files for my GitHub profile.

Use your kobo as a whiteboard and screenshare from you desktop!