Projects in Awesome Lists by serras
A curated list of projects in awesome lists by serras .
https://github.com/serras/emacs-haskell-tutorial
Tutorial on setting up Emacs to do Haskell programming
Last synced: 04 Apr 2025
https://github.com/serras/lambdaconf-2015-web
Projects for LambdaConf 2015 Haskell web workshop
Last synced: 04 Mar 2026
https://github.com/serras/fir-tree
IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin code
Last synced: 14 Apr 2025
https://github.com/serras/weatherapp
Weather App with Arrow + Compose Desktop
arrow-kt compose-desktop context-receiver kotlin
Last synced: 14 Apr 2025
https://github.com/serras/miso-start-template
Template for new Miso projects
Last synced: 14 Apr 2025
https://github.com/serras/4languages
Book about Haskell, Clean, Agda and Idris
Last synced: 28 Jan 2026
https://github.com/serras/haskellsgameoflife
A simple implementation of Conway's Game of Life
Last synced: 14 Apr 2025
https://github.com/serras/t-regex
Matchers and grammars using tree regular expressions
Last synced: 14 Apr 2025
https://github.com/serras/haskell-exchange-2021
Slides for the Haskell eXchange 2021 talk "A Beginner's Guide to Haskell and its Ecosystem"
Last synced: 12 Apr 2025
https://github.com/serras/graphql-wai
A simple way to expose GraphQL via WAI
Last synced: 19 Jan 2026
https://github.com/serras/liquid-nats-plugins-example
Example project using LiquidHaskell and Natural Normalisation plug-ins
Last synced: 26 Mar 2025
https://github.com/serras/dddeu21
"Being Formal Yet Lightweight", presented at DDD Europe 2021
Last synced: 05 Jan 2026
https://github.com/serras/scion-ghc-7-requisites
Changed prerrequisites for making Scion work on GHC 7
Last synced: 26 Mar 2025
https://github.com/serras/json-select-transform
Library for matching and transformation of JSON documents
Last synced: 26 Mar 2025
https://github.com/serras/nacionlumpen-chat-haskell
Simple chat written in Haskell
Last synced: 26 Mar 2025
https://github.com/serras/scion-debugger
Program that handles debugging for EclipseFP
Last synced: 26 Mar 2025
https://github.com/serras/monadic-patterns
Extensible pattern matching using free monads
Last synced: 21 Aug 2025
https://github.com/serras/tasty-json
A tasty ingredient to output test results in JSON, compatible with HTF schema.
Last synced: 26 Mar 2025
https://github.com/serras/bob2021-mu
"Servant vs. Mu: A Type-Level Battle", presented at BOB 2021
Last synced: 06 Jan 2026
https://github.com/serras/infofp-2021
Haskell Ideas in Modern Programming, presented at UU's INFOFP 2021
Last synced: 02 Feb 2026
https://github.com/serras/kotlin-multitarget-plugin
IntelliJ plug-in that warns about annotations with defaulted use-site targets
Last synced: 27 Oct 2025
https://github.com/serras/better-schedules-talk
"Better schedules using compositional design patterns"
Last synced: 11 Feb 2026
https://github.com/serras/fir-investigation
Investigating how to use Kotlin's FIR plug-in mechanism
Last synced: 26 Mar 2025
https://github.com/serras/kotlin-xl-ctx
"Context receivers", presented at Kotlin XL Meetup
Last synced: 06 Jan 2026
https://github.com/serras/kotlin-test-property
Property testing for kotlin.test
Last synced: 13 Aug 2025
https://github.com/serras/vector-dsl
Proof of concept for a Kotlin DSL targeting the new Java Vector API
Last synced: 31 Aug 2025