Name: Joey Eremondi
Type: User
Company: University of Regina
Bio: Assistant Prof. at the University of Regina. Interested in programming languages, dependent types, Agda, Idris, Lean, etc.
Location: Regina, Saskatchewan, Canada
Blog: http://eremondi.com
Joey Eremondi's Projects
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
An attempt to implement Parikh's Theorem in Agda. Part of a Captia Selecta for Utrecht University.
Sized Descriptions of Inductive Types in Agda
Agda formalisation of second-order abstract syntax
The Agda standard library
An Agda library for tactics that partially solve a goal
Common library imported when writing strategies for AI-vs-AI
A beautiful Jekyll theme for academics
My Idris2 solutions/attempts for Advent of Code 2020
Type-safe Multi-dimensional arrays in Elm
An implementation of a first-order auto tactic for Agda, in Agda.
A curated list of awesome Coq frameworks, libraries and software.
Type synonyms which all for class-like generalizations in Elm
A basic Dockerfile for running elm-reactor on Codenvy
A library of Coq definitions, theorems, and tactics.
A command-line tool to generate Latex (inference rules) from inductive coq definitions.
Elm's core libraries
work repo for INFODM assignment 2
My personal config for doom-emacs
An Emacs framework for the stubborn martian hacker
Benchmarking for Elm based on benchmark.js
A library for compiling Elm to JavaScript from within Haskell
Haskell library wrapper around the Elm executable, to build files from within Haskell
A modified version of Elm which supports Haskell to Elm translation
Pages repo for benchmarking Elm code
Code accompanying "Set Constraints, Pattern Match Analysis, and SMT"
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent