Tritlo

PropR

Genetic program repair using GHC

spectacular

writ-plugin

A type-checker plugin for weak runtime-irrelevant typing in Haskell

dynamic-haskell-plugin

AWS-LARPI

Package Haskell functions for easy use on AWS Lambda

AoC22

Advent of Code '22 in Haskell

dotfiles

My dotfiles for OSX

ecta-plugin

A hole-fit plugin using ECTAs

AdventOfCode2021

fp-course

A repo for the Functional Programming course at Chalmers and its dev container.

feat-slider

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

quickspec

quickspec fork

py-smt

An SMT solver in Python

Adv360-Pro-ZMK

Production repository for the all-new Advantage360 Professional using ZMK engine

AoC2023

Advent of Code in Haskell 2023. Check out the videos at https://www.youtube.com/playlist?list=PLI1Cj70VxcjGEpNPG4kRMa2IS3Hqycv_z

device-benchmarks

Benchmarks of different devices I have come across

easycrypt-docker

A Docker image with EasyCrypt, Z3, Alt-Ergo, and Emacs with Proof-General and Doom Emacs preinstalled :D

ecta

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.

hpc

updates to hpc for my ghc branch

hpc-bin

JavaToJSON

Parses a list of Java files to JSON

m20-fifth

M20 Fifth (Adamantine Edition) as a markdown

mastodon

Your self-hosted, globally interconnected microblogging community

matplotlib-haskell

Haskell bindings for Python's Matplotlib

quake2-rerelease-dll

Tritlo

tritlo.github.io

WASP-AS1-Activity-Recognition