eayus/dotfiles eayus/dotfiles

  • Stars
    star
    12
  • Rank 1,590,385 (Top 32 %)
  • Language
    Vim Script
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
eayus/dotfiles
github

eayus

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

sddm-theme-clairvoyance

An SDDM theme
QML
70
star
2

sirdi

Package manager for Idris
Idris
34
star
3

startpage

My starting page for my browser.
CSS
15
star
4

aplis

Experimental UniKernel OS Written In ASM/C/Idris
C
2
star
5

dependent-checker

A minimal dependent type checker.
Haskell
2
star
6

lambda-normaliser

A beta-normaliser for untyped lambda calculus terms.
Haskell
1
star
7

sap

Idris2 (s)imple (a)rgument (p)arser
Idris
1
star
8

qbe-hs

qbe-hs
Haskell
1
star
9

formal-stlc

Rigorous implementation of the STLC in Idris2
1
star
10

idris2-gfx

Type safe wrappers for OpenGL and friends for Idris2
Idris
1
star
11

untyped-lc

Simple untyped lambda calculus interpreter in Idris
Idris
1
star
12

warwick-maze-pacman

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