Discover @serras Open Source projects

Alejandro Serrano (@serras)

serras

Stars
1,202
Global Rank 25,662 (Top 0.9 %)
Followers 419
Following 3
Registered over 14 years ago
Most used languages

Haskell
46.7 %

Kotlin
24.4 %

HTML
15.6 %

Emacs Lisp
4.4 %

Ruby
2.2 %

Nix
2.2 %

Elixir
2.2 %

Coq 2.2 %
Location 🇳🇱 Netherlands
Country Total Rank 520
Country Ranking

Coq 2

Emacs Lisp
4

Haskell
10

Nix
21

Kotlin
42

Elixir
69

HTML
246

Ruby
297

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

inikio

Better initial-style DSLs in Kotlin

WeatherApp

Weather App with Arrow + Compose Desktop

fir-tree

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

zurihac-workshop

A bit of DSLs, a bit of I/O

functional-map

sf-exercises

4languages

Book about Haskell, Clean, Agda and Idris

miso-start-template

Template for new Miso projects

cat-theory-lambdaconf-wr-2017

munihac-2020-miso

Miso @ MuniHac 2020

patternr

Pattern matching for several languages

arrow-validation-tree

Arrow Validation Tree

cobalt

COnstraint-BAsed Little Typechecker

arrow-compose

Arrow ❤️ Compose

HaskellsGameOfLife

A simple implementation of Conway's Game of Life

reactive-js

t-regex

Matchers and grammars using tree regular expressions

haskell-exchange-2021

Slides for the Haskell eXchange 2021 talk "A Beginner's Guide to Haskell and its Ecosystem"

poke-fun

Poké-Fun with Kotlin and Arrow

dddeu21

"Being Formal Yet Lightweight", presented at DDD Europe 2021

derivative-parsing

Parsing using derivatives

haskell-patterns

turbine-temporal

Turbine meets Temporal Logic

graphql-wai

A simple way to expose GraphQL via WAI

liquid-nats-plugins-example

Example project using LiquidHaskell and Natural Normalisation plug-ins

djinn-lib

Library extracted from Djinn package

json-select-transform

Library for matching and transformation of JSON documents

scion-ghc-7-requisites

Changed prerrequisites for making Scion work on GHC 7

ultimate-generics

mini-system-f-impred

codemotion-2022

Slides for Codemotion 2022 talk

scion-debugger

Program that handles debugging for EclipseFP

nacionlumpen-chat-haskell

Simple chat written in Haskell

monadic-patterns

Extensible pattern matching using free monads

kotlinconf-features-example

deprecation-repro

Code for reproducing KT-60604

message-parser

sillies

Small programs to test my changes to GHC

bob2021-mu

"Servant vs. Mu: A Type-Level Battle", presented at BOB 2021

lio

Lightweight IO in Kotlin

emacs-config

My Emacs configuration

infofp-2021

Haskell Ideas in Modern Programming, presented at UU's INFOFP 2021

tasty-json

A tasty ingredient to output test results in JSON, compatible with HTF schema.

actions-as-data-continued

Actions as data, continued

kotlin-multitarget-plugin

IntelliJ plug-in that warns about annotations with defaulted use-site targets