ZuriHac 2024 / Projects

This is the list of projects that attendees of ZuriHac 2024 are planning to work on. If any of these spark your interest, then you will be able to join the project channel on Discord or find the contact at the venue and hack away on it with other participants.

If you want to get your own project included, please add your project name and description by submitting a pull request here.

Contact: Jesper Cockx
Contributor level: intermediate, advanced
Agda2hs is a tool for producing verified and readable Haskell code by extracting it from a (lightly annotated) Agda program.
Contact: Jack Kelly
Contributor level: advanced
The Amazonka generator needs some serious rework to cope with modern AWS service definitions.
Contact: Vanessa McHale
Contributor level: advanced
A compiler and type system
Building Safe Apps with Haskell
Contact: Paweł Szulc
Contributor level: beginner
Contact: Alan Zimmerman
Contributor level: advanced
The infrastructure in GHC to allow changing the AST and emitting changed source code. With original formatting, comments, etc
Contact: Hécate
Contributor level: beginner, intermediate, advanced
Flora gathers packages from across the ecosystem and aims to provide a unifying view, analytics, and better onboarding story for beginners.
GHC
Contact: Richard Eisenberg
Contributor level: advanced
The primary Haskell compiler
Contact: Julian Ospald
Contributor level: intermediate, advanced
https://github.com/haskell/ghcup-hs/issues/65
Contact: Rune Svendsen
Contributor level: beginner, intermediate, advanced
A form of "Hoogle type search" for functions that can find a sequence of composed functions that converts from one type to another. For example, searching for "lazy Text to strict ByteString" returns e.g. "text-2.0.2:Data.Text.Encoding.encodeUtf8 . text-2.0.2:Data.Text.Lazy.toStrict" and "bytestring-0.11.4.0:Data.ByteString.toStrict . text-2.0.2:Data.Text.Lazy.Encoding.encodeUtf8".
Contact: Hannes Siebenhandl
Contributor level: beginner, intermediate, advanced
Contact: Reynaldo Cordero
Contributor level: intermediate
In mathematics you don't understand things. You just get used to them.
Identity Provider
Contact: Peter Ryland
Contributor level: intermediate
Auth system similar to Zitadel or Keycloak
Contact: Manuel Bärenz
Contributor level: intermediate, advanced
You can learn how to write Functional Reactive Programs using the Rhine framework. The main author will lead you through a Koans workshop with many little problems to solve, and support you with your own Rhine project.
Contact: Facundo Domínguez
Contributor level: intermediate
A verification tool for Haskell based on SMT solvers
Contact: Jürgen Nicklisch-Franken
Contributor level: intermediate, advanced
Towards Functional Parallel Hardware
Contact: Jose Fernandes
Contributor level: beginner
Contact: Adrian Sieber
Contributor level: intermediate
Scriptable desktop app to correct the perspective of images
Contact: Fabrizio Ferrai
Contributor level: intermediate, advanced
A strongly-typed language that compiles to JavaScript
Contact: Alexey Kuleshevich
Contributor level: beginner, intermediate, advanced
Haskell PRNG library
Contact: Andreas Herrmann
Contributor level: beginner, intermediate, advanced
Bazel is an open source build system developed to support large, polyglot projects. Join this project or stop by if you would like to learn about building Haskell with Bazel, help us make it easier to get started, learn when Bazel may add value to your project, or if you're interested in contributing to rules_haskell.
Contact: Tom Sydney Kerckhove
Contributor level: beginner, intermediate, advanced
A comprehensive self-management system.
Contact: Reuben Cohn-Gordon
Contributor level: beginner, intermediate
Help me develop an online Haskell guide, aimed at attracting/onboarding newcomers with a background in Python or similar.
The philosophical theory of programming languages
Contact: Tilde Rose
Contributor level: beginner, intermediate, advanced
exploring the roles of programming languages in society through the lens of semiotics
Contact: francesco occhipinti
Contributor level: beginner, intermediate
command-line d3 runner