eayus/sddm-theme-clairvoyance eayus/sddm-theme-clairvoyance

  • This repository has been archived on 04/Jul/2021
  • Stars
    star
    70
  • Rank 445,745 (Top 9 %)
  • Language QML
  • License
    GNU General Publi...
  • Created about 7 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
eayus/sddm-theme-clairvoyance
github

eayus

Reviews

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

Repository Details

An SDDM theme

More Repositories

1

sirdi

Package manager for Idris
Idris
34
star
2

startpage

My starting page for my browser.
CSS
15
star
3

dotfiles

Collection of all my dotfiles (configuration files) used to style my computer.
Vim Script
12
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