umazalakain

typing-linear-pi

Typing the linear pi calculus in Agda

agda-bcam

Tutorial series introducing Agda to the people at BCAM

session-types-coq

Formalising session types in Coq

errata

Error handling made precise. Because error handling belongs in the types.

fyp

My final year project at the University of Strathclyde

CoContextualPi

intro-pi-calc

a brief introduction to the pi calculus

aoc-rust

Learning myself some Rust with Aoc '22

Awesome-CV

Awesome CV is LaTeX template for your outstanding job application

adtrees

agda

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

agda-snippets

Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

agda-stdlib

The Agda standard library

DependentLinearPi

A Dependently Typed Linear π-Calculus in Agda

django-localized-fields

Implementation of localized model fields using PostgreSQL HStore fields.

django-markdownx

Comprehensive Markdown plugin built for Django

django-watson

Full-text multi-table search application for Django. Easy to install and use, with good performance.

docs.scala-lang

The Scala Documentation website

encoding

Encoding label dependent session types into a label dependent linear pi calculus (using context splits and leftover typing)

executor

A library for interfacing Scala with OpenCL kernels

gor

gpg-introduction

A brief introduction to GPG in spanish

netsim

nixpkgs

Nix Packages collection

ocaml

The core OCaml system: compilers, runtime system, base libraries

references

They come in handy

rover

sashimi

minimalist fish prompt made with raw fish

shine

The Shine compiler for the RISE language

umazalakain.info