eayus

sddm-theme-clairvoyance

An SDDM theme

sirdi

Package manager for Idris

aplis

Experimental UniKernel OS Written In ASM/C/Idris

dependent-checker

A minimal dependent type checker.

formal-stlc

Rigorous implementation of the STLC in Idris2

idris2-gfx

Type safe wrappers for OpenGL and friends for Idris2

Idris2-hashable

Interface for types that can be hashed.

qbe-hs

qbe-hs

sap

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

dependent-base

Haskell library for "dependently" typed programming

lambda-normaliser

A beta-normaliser for untyped lambda calculus terms.

agda-stdlib

The Agda standard library

aoc2019

My Advent of Code solutions written in Idris -- Spoiler alert!

eayus.github.io

glas-segmentation-stats

Python code to calculate required statistics for the GlaS challenge. See https://warwick.ac.uk/fac/cross_fac/tia/data/glascontest/

guix-channel

Guix channel for various things non in the official channel

idris-tparsec

TParsec - Total Parser Combinators in Idris

Idris2

A purely functional programming language with first class types

idris2-example

idris2-vim

Vim mode for Idris 2

kind-generics-deriving

kind-generics-deriving

llvm-hs

Haskell bindings for LLVM

llvm-idr

Idris2 LLVM library

okka

Toy dependently typed language I am using to experiement with for research.

pl-lib

Relm4

Build truly native applications with ease!

split

Standard Haskell list splitting library.

toml-idr

A TOML parser for Idris 2

uwe

Uwe, a purely functional package manager written in Idris

wayfire

3D wayland compositor