eayus Goto Github PK

agda-stdlib

The Agda standard library

aoc2019

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

aplis

Experimental UniKernel OS Written In ASM/C/Idris

dependent-base

Haskell library for "dependently" typed programming

dependent-checker

A minimal dependent type checker.

documentation

Void Linux documentation

dotfiles

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

eayus.github.io

formal-stlc

Rigorous implementation of the STLC in Idris2

ggez

Rust library to create a Good Game Easily

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

ice_game

idris-tparsec

TParsec - Total Parser Combinators in Idris

idris2

A purely functional programming language with first class types

idris2-example

idris2-gfx

Type safe wrappers for OpenGL and friends for Idris2

idris2-hashable

Interface for types that can be hashed.

idris2-vim

Vim mode for Idris 2

kind-generics-deriving

kind-generics-deriving

lambda-normaliser

A beta-normaliser for untyped lambda calculus terms.

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

qbe-hs

qbe-hs

relm4

Build truly native applications with ease!

sap

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

sddm-theme-clairvoyance

An SDDM theme

sirdi

Package manager for Idris