There are no reviews yet. Be the first to send feedback to the community and the maintainers!
sddm-theme-clairvoyance
An SDDM themesirdi
Package manager for Idrisstartpage
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/Idrisdependent-checker
A minimal dependent type checker.sap
Idris2 (s)imple (a)rgument (p)arserqbe-hs
qbe-hsformal-stlc
Rigorous implementation of the STLC in Idris2idris2-gfx
Type safe wrappers for OpenGL and friends for Idris2untyped-lc
Simple untyped lambda calculus interpreter in Idriswarwick-maze-pacman
A Pacman game to be played within the Warwick University maze coursework application.Love Open Source and this site? Check out how you can help us