Alejandro Serrano's repositories
miso-start-template
Template for new Miso projects
munihac-2020-miso
Miso @ MuniHac 2020
graphql-wai
A simple way to expose GraphQL via WAI
haskell-exchange-2021
Slides for the Haskell eXchange 2021 talk "A Beginner's Guide to Haskell and its Ecosystem"
liquid-nats-plugins-example
Example project using LiquidHaskell and Natural Normalisation plug-ins
json-select-transform
Library for matching and transformation of JSON documents
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
ghcide
A library for building Haskell IDE tooling
IHaskell
A Haskell kernel for IPython.
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
megalisp
megalisp is a compliant lisp parser written in megaparsec
servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
setup-stack
Github action for setting up haskell stack
smtinterpol
SMTInterpol interpolating SMT solver
stm-hamt
STM-specialised Hash Array Mapped Trie
vscode-antlr4
ANTLR4 language support for Visual Studio Code
vscode-docs-view
VS Code extension that displays hover documentation in the sidebar or panel