Alejandro Serrano's repositories
zurihac-workshop
A bit of DSLs, a bit of I/O
haskell-exchange-2021
Slides for the Haskell eXchange 2021 talk "A Beginner's Guide to Haskell and its Ecosystem"
turbine-temporal
Turbine meets Temporal Logic
codemotion-2022
Slides for Codemotion 2022 talk
bob2021-mu
"Servant vs. Mu: A Type-Level Battle", presented at BOB 2021
Electrum2
Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
infofp-2021
Haskell Ideas in Modern Programming, presented at UU's INFOFP 2021
fir-investigation
Investigating how to use Kotlin's FIR plug-in mechanism
generic-aeson
Derivation of aeson instances using GHC Generics.
haskellfoundation.github.io
The Haskell Foundation website, hosted by GitHub Pages.
http2-client
A native HTTP2 client in Haskell
kotlin-xl-ctx
"Context receivers", presented at Kotlin XL Meetup
kotlinx-serialization-jsonpath
KotlinX Serialization JsonElement DSL based on Arrow Optics
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
pokemon-tcg-data
The data found within the Pokémon TCG API
serras.github.io
Website
smtinterpol
SMTInterpol interpolating SMT solver
sqldelight
SQLDelight - Generates typesafe Kotlin APIs from SQL
stm-hamt
STM-specialised Hash Array Mapped Trie