Alejandro Serrano

emacs-haskell-tutorial. Tutorial on setting up Emacs to do Haskell programming

hinc. Haskell In New Clothes

lambdaconf-2015-web. Projects for LambdaConf 2015 Haskell web workshop

fir-tree. IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin code

WeatherApp. Weather App with Arrow + Compose Desktop

inikio. Better initial-style DSLs in Kotlin

kotlin-mismatch-hints. Inlay hints succinctly describing mismatches in Kotlin code

SparkleShare. SparkleShare is a file sharing and collaboration tool inspired by Dropbox.

zurihac-workshop. A bit of DSLs, a bit of I/O

sf-exercises. Coq

poke-fun. Poké-Fun with Kotlin and Arrow

miso-start-template. Template for new Miso projects

4languages. Book about Haskell, Clean, Agda and Idris

munihac-2020-miso. Miso @ MuniHac 2020

arrow-validation-tree. Arrow Validation Tree

cat-theory-lambdaconf-wr-2017. Haskell

scion-class-browser. Scion part for EclipseFP Class Browser

patternr. Pattern matching for several languages

cobalt. COnstraint-BAsed Little Typechecker

arrow-compose. Arrow ❤️ Compose

t-regex. Matchers and grammars using tree regular expressions

HaskellsGameOfLife. A simple implementation of Conway's Game of Life

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

haskell-patterns.

liquid-nats-plugins-example. Example project using LiquidHaskell and Natural Normalisation plug-ins

graphql-wai. A simple way to expose GraphQL via WAI

json-select-transform. Library for matching and transformation of JSON documents

djinn-lib. Library extracted from Djinn package

scion-ghc-7-requisites. Changed prerrequisites for making Scion work on GHC 7

nacionlumpen-chat-haskell. Simple chat written in Haskell

kotlinconf-features-example. Kotlin

codemotion-2022. Slides for Codemotion 2022 talk

actions-as-data-continued. Actions as data, continued

monadic-patterns. Extensible pattern matching using free monads

ultimate-generics. Haskell