Pinned Repositories
agda-bcam
Tutorial series introducing Agda to the people at BCAM
CoContextualPi
errata
Error handling made precise. Because error handling belongs in the types.
fyp
My final year project at the University of Strathclyde
lightweight-motion
Lightweight RPi-ready motion detection for USB and HTTP(S) cameras!
qinfluxdb
A little ORM for issuing queries to InfluxDB
session-types-coq
Formalising session types in Coq
typing-linear-pi
Typing the linear pi calculus in Agda
umazalakain's Repositories
umazalakain/typing-linear-pi
Typing the linear pi calculus in Agda
umazalakain/agda-bcam
Tutorial series introducing Agda to the people at BCAM
umazalakain/errata
Error handling made precise. Because error handling belongs in the types.
umazalakain/session-types-coq
Formalising session types in Coq
umazalakain/fyp
My final year project at the University of Strathclyde
umazalakain/CoContextualPi
umazalakain/intro-pi-calc
a brief introduction to the pi calculus
umazalakain/aoc-rust
Learning myself some Rust with Aoc '22
umazalakain/Awesome-CV
Awesome CV is LaTeX template for your outstanding job application
umazalakain/adtrees
umazalakain/agda
Agda is a dependently typed programming language / interactive theorem prover.
umazalakain/agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
umazalakain/agda-stdlib
The Agda standard library
umazalakain/contentful-cli
The official Contentful command line interface. Use Contentful features straight from the command line!
umazalakain/contentful-import
Node module that uses the data provided by contentful-export to import it to contentful space
umazalakain/DependentLinearPi
A Dependently Typed Linear π-Calculus in Agda
umazalakain/django-localized-fields
Implementation of localized model fields using PostgreSQL HStore fields.
umazalakain/docs.scala-lang
The Scala Documentation website
umazalakain/encoding
Encoding label dependent session types into a label dependent linear pi calculus (using context splits and leftover typing)
umazalakain/executor
A library for interfacing Scala with OpenCL kernels
umazalakain/gpg-introduction
A brief introduction to GPG in spanish
umazalakain/grackle
Grackle: Functional GraphQL for the Typelevel stack
umazalakain/netsim
umazalakain/nixpkgs
Nix Packages collection
umazalakain/ocaml
The core OCaml system: compilers, runtime system, base libraries
umazalakain/references
They come in handy
umazalakain/rover
umazalakain/sashimi
minimalist fish prompt made with raw fish
umazalakain/shine
The Shine compiler for the RISE language
umazalakain/umazalakain.info