eayus/sap eayus/sap

  • Stars
    star
    1
  • Language Idris
  • License
    GNU General Publi...
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
eayus/sap
github

eayus

Reviews

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

Repository Details

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

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

dotfiles

Collection of all my dotfiles (configuration files) used to style my computer.
Vim Script
12
star
5

aplis

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

dependent-checker

A minimal dependent type checker.
Haskell
2
star
7

lambda-normaliser

A beta-normaliser for untyped lambda calculus terms.
Haskell
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