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.
A Powerful New Visual Programming System: Lambda Express
Contact: Theo Weidmann, Sverrir Thorgeirsson
Contributor level: beginner, intermediate, advanced
Lambda Express is a new visual programming system developed at ETH Zurich that makes it easy to create data-driven applications with user interfaces. Join us for the first public demonstration of the system and become an early adopter!
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: Andrea Bedini
Contributor level: beginner, intermediate, advanced
Cabal is a system for building and packaging Haskell code. It has accumulated many features but everybody still wants it to do something more. I will guide participants through the codebase and help get them started on their favourite new feature.
Contact: Frank Dedden and Ivan Perez
Contributor level: beginner, intermediate, advanced
Copilot is a realtime programming language and Runtime Verification framework that allows users to write concise programs in a simple but powerful way using a stream-based approach. Programs can be interpreted for testing, or translated to C99 code to be incorporated in a project, or as a standalone application. The C99 backend ensures us that the output is constant in memory and time, making it suitable for systems with hard realtime requirements.
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.
Contact: Sam Derbyshire
Contributor level: intermediate, advanced
Adding SIMD support to GHC's NCG
Contact: Julian Ospald
Contributor level: intermediate, advanced
GHCup is the main installer for Haskell
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.
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: Felix Springer
Contributor level: beginner, intermediate, advanced
A desk-booking web application. Haskell backend (servant, selda). Elm frontend (elm-ui).
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: Peter Ryland
Contributor level: intermediate
I'm working on an auth system similar to Zitadel or Keycloak, called Jasso. I'd love it if you just want to try it or use it and I'd be stoked if you want to help work on it. There's a big TODO list! I'll be doing a demo on Sunday afternoon, so please join the #sso Discord channel where I'll announce the location for the demo.
Contact: Sebastian Graf, Teo Camerasu
Contributor level: advanced
Teo and I want to improve the implementation of Template Haskell, with an emphasis on stability and usability. Come join us in the GHC room! There is much to do.
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
Contact: Francesco Gazzetta, George Thomas
Contributor level: beginner, intermediate
command-line d3 runner