rembane Goto Github PK

a-style-of-knutpunkt

Knutpunkt2018s registration system's stylesheets

a-style-of-postcon

The CSS for Postcon.

a-style-of-prolog

adventofcode2017

Advent of code 2017, beware of solutions and monads

adventofcode2018

Advent of code 2018, beware of solutions and arrows

adventofcode2019

[SPOILERS]: This repository contains my solutions for Advent of Code 2019

adventofcode2020

adventofcode2022

ai2048

argyrodes

This project patches the system for managing candidates for the board of Sverok.

betareg

bofh-excuse-haskell

Shows a BOFH-excuse on the screen. The project is written in Haskell.

cabal-portage

Common interface between Cabal and Portage

cakeml

CakeML: A Verified Implementation of ML

casting-clock

cereal-plus

Extended serialization library on top of "cereal".

charm-documentation

Documentation for Charm

charm-internsystem

Internsystem för CHARM

curated-haskell

A curated list of intermediate Haskell resources.

dat121

This repository keeps the latest version of the Programming Paradigms site, to be able to see the latest changes with git diff.

datacomhack

How often do a question show up on the exams? What are the questions about? This little tool should help us find out.

dbot

An allround IRC-bot for #dtek at Datateknologsektionen's IRC server.

descriptive-brainfuck

This is an implementation of a language which purpose is to make Brainfuck less obscure.

dhall-lang

A configuration language guaranteed to terminate

django

The Web framework for perfectionists with deadlines.

django-anymail

Django email backends and webhooks for Amazon SES, Brevo (Sendinblue), MailerSend, Mailgun, Mailjet, Postmark, Postal, SendGrid, SparkPost and more

django-chunks

Think of it as flatpages for small bits of reusable content you might want to insert into your templates and manage from the admin interface.

django-flatblocks

django-chunks + headerfield + variable chunknames + "inclusion tag" == django-flatblocks

django-ordered-model

Allows Django models to be ordered and provides a simple admin interface for reordering them.

documentation

Documentation for the PureScript language, compiler, and tools.