Andreas Ekeroot's repositories
lemmingpants
A system to handle the speakerlist on Datateknologsektionens meetings.
adventofcode2018
Advent of code 2018, beware of solutions and arrows
adventofcode2019
[SPOILERS]: This repository contains my solutions for Advent of Code 2019
cabal-portage
Common interface between Cabal and Portage
cakeml
CakeML: A Verified Implementation of ML
dbot
An allround IRC-bot for #dtek at Datateknologsektionen's IRC server.
django-anymail
Django email backends and webhooks for Amazon SES, Brevo (Sendinblue), MailerSend, Mailgun, Mailjet, Postmark, Postal, SendGrid, SparkPost and more
django-flatblocks
django-chunks + headerfield + variable chunknames + "inclusion tag" == django-flatblocks
dragen2
QuickCheck utilities to generate structured data.
elm-jatsee
A bad implementation of a popular dice game
mat-chalmers
Lunch menus on Chalmers, built in Haskell
package-sets
A curated list of PureScript packages
postgres-websockets
PostgreSQL + Websockets
postgresql-libpq
Low-level Haskell bindings for libpq
prolog-program-mithril
The program viewer implemented in Javascript and Mithril 2.0.
purescript-web-storage
Type definitions and low level interface implementations for the W3C WebStorage API
rmhandlingar_onthe_forum
Tankar upp väl valda delar av riksmöteshandlingarna på Sveroks forum.
tvmannen
System för PR på basen-TVn
uiua
A stack-based array programming language