Discover @JoeyEremondi Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

PHP

Julia

Dart

Go

C++

Java

Groovy

R

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Lua

Perl

Julia

Elixir

Objective-C

Erlang

Jupyter Notebook

Zig

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇻🇺 Vanuatu

🇭🇰 Hong Kong

🇨🇰 Cook Islands

🇸🇸 South Sudan

🇻🇳 Vietnam

🇨🇿 Czechia

🇦🇼 Aruba

🇰🇬 Kyrgyzstan

All Countries Compare Countries

Joey Eremondi (@JoeyEremondi)

JoeyEremondi

Stars
201
Global Rank 122,768 (Top 5 %)
Followers 86
Following 6
Registered almost 12 years ago
Most used languages

Haskell
50.0 %

Elm
14.7 %

TeX
8.8 %

C++
5.9 %

Idris 5.9 %

Racket
2.9 %

Coq 2.9 %

C#
2.9 %

Lean 2.9 %

JavaScript
2.9 %
Location 🇨🇦 Canada
Country Total Rank 5,626
Country Ranking

Idris 2

Coq 3

Lean 8

Racket
11

Haskell
19

Elm
36

TeX
127

C++
3,022

C#
4,382

JavaScript
9,320

haskelm

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

pl-lt-rules

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

aoc-2020-idris

My Idris2 solutions/attempts for Advent of Code 2020

haskelm-old

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

lambda-pi-constraint

GDTL-artifact

A Gradual Dependently-typed Language

UBC-Metropolis-Beamer

Metropolis Beamer theme with UBC Colors and Logo

elm-build-lib

A library for compiling Elm to JavaScript from within Haskell

idris2-sizes

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

vscode-ott

Ott Support for Visual Studio Code

idris-aoc-2021

Advenct of Code 2021: over-engineered in Idris!

elm-benchmark

Benchmarking for Elm based on benchmark.js

helium

Helium is a compiler for a subset of Haskell that aims at delivering high quality type error messages particularly for beginner programmers. It also includes facilities for specializing type error diagnosis for embedded domain specific languages. The compiler supports Haskell 98, but without the ability to define new type classes and instances.

ElmObjParser

OBJ parsing and rendering tools for Elm

elm-build-lib-old

Haskell library wrapper around the Elm executable, to build files from within Haskell

SetConstraintsSMT

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

lean-cwf

A basic Categories with Families library for Lean

elm-SafeLists

Lists which encode their length in the type

elm-travis-cache-old

Build and store Elm binaries for use on TravisCI

Hakyll-executable

The Hakyll source and executable for my page

elm-summer-opt

Summer work on optimizing the Elm compiler

ElmBunnyDemo

Demo of Elm WebGL with a large number of vertices

ai-vs-ai-common

Common library imported when writing strategies for AI-vs-AI

elm-type-effect

Working repository for Utrecht APA Types and Effect progamming

elm-escapable-state

tikzedt

Automatically exported from code.google.com/p/tikzedt

elm-pattern-effects

Type and effect system for Pattern match analysis in Elm

utrecht-pv

Repository for Program Verification at Utrecht

haskelm-demo

array-multidim

Type-safe Multi-dimensional arrays in Elm

utrecht-apa-p1

Project 1 for Automatic Program Analysis

helium-Top

eremondi.com-hakyll

Hakyll source for eremondi.com

codenvy-elm-docker

A basic Dockerfile for running elm-reactor on Codenvy

treewidth-algorithms

Automatically exported from code.google.com/p/treewidth-algorithms

treewidth-memoization

An experiment attempting to find a (moderately) space-efficient algorithm for calculating exact treewidth

JoeyEremondi

Config files for my GitHub profile.

ai-vs-ai-public

smb-trees

An Agda Library for Strictly Monotone Brouwer Trees