gallais

agdarsec

Total Parser Combinators in Agda

idris-tparsec

TParsec - Total Parser Combinators in Idris

generic-syntax

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

potpourri

Where my everyday research happens

agda-presburger

Deciding Presburger arithmetic in agda

thesis

Syntaxes with Binding, Their Programs, and Proofs

great-library-of-idris

A crowd-sourced list of papers using Idris

CS410-2024

Content of the CS410 lectures

dot-analysis

Analysing dependency graphs produced by Agda

idris-free

Various Free-X experiments

gallais.github.io

My website, now generated using Hakyll

coolcat

not a wiki

ncurses-idris

A hobby implementation of an ncurses binding for Idris 2

sleepp

A sleep with a progress bar

aeson

A fast Haskell JSON library

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-stdlib

The Agda standard library

agda2hs

Compiling Agda code to readable Haskell

idrall

Dhall bindings for Idris

Idris2

A purely functional programming language with first class types

idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

idris2-table

A table library for Idris 2

linear-circuits

Linear Circuits but not as we know it: Using Linear Types to enforce wiring decisions.

ola-lang

A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.

packer-idris

Packer scripts for generating Virtual Box OVFs that have Idris preinstalled.

plfa.github.io

Introduction to programming language theory in Agda

splv23.github.io

velo-lang

Yaffle

A core language and API for dependently typed languages

zwift

Easily zwift on linux