Discover @eayus Open Source projects

Ellis Kesterton (@eayus)

eayus

Stars
142
Global Rank 160,251 (Top 6 %)
Followers 19
Following 7
Registered about 7 years ago
Most used languages

Idris 33.3 %

Haskell
25.0 %

QML 8.3 %

Java
8.3 %

CSS
8.3 %

Vim Script
8.3 %

C
8.3 %
Location 🇬🇧 United Kingdom
Country Total Rank 7,267
Country Ranking

Idris 4

QML 5

Vim Script
125

Haskell
391

CSS
602

C
3,334

Java
7,947

sddm-theme-clairvoyance

sirdi

Package manager for Idris

startpage

My starting page for my browser.

dotfiles

Collection of all my dotfiles (configuration files) used to style my computer.

aplis

Experimental UniKernel OS Written In ASM/C/Idris

dependent-checker

A minimal dependent type checker.

lambda-normaliser

A beta-normaliser for untyped lambda calculus terms.

sap

Idris2 (s)imple (a)rgument (p)arser

qbe-hs

formal-stlc

Rigorous implementation of the STLC in Idris2

idris2-gfx

Type safe wrappers for OpenGL and friends for Idris2

untyped-lc

Simple untyped lambda calculus interpreter in Idris

warwick-maze-pacman

A Pacman game to be played within the Warwick University maze coursework application.