eayus/sirdi eayus/sirdi

  • Stars
    star
    34
  • Rank 763,489 (Top 16 %)
  • Language Idris
  • License
    GNU General Publi...
  • Created almost 3 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
eayus/sirdi
github

eayus

Reviews

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

Repository Details

Package manager for Idris

More Repositories

1

sddm-theme-clairvoyance

An SDDM theme
QML
70
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