Pinned Repositories
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
AdventOfCode2020
AdventOfCode2020
dynamic-haskell-plugin
ExampleHolePlugin
FlightCarbonOffset
A calculator for carbon offset required for given flights using FlightAware and SeatGuru
JerbalSpaceProgramWebsite
The Jerbal Space Program
PropR
Genetic program repair using GHC
spectacular
TACOS
TACOS (There's a Cat On the Sundeck) Detector
writ-plugin
A type-checker plugin for weak runtime-irrelevant typing in Haskell
Tritlo's Repositories
Tritlo/PropR
Genetic program repair using GHC
Tritlo/spectacular
Tritlo/writ-plugin
A type-checker plugin for weak runtime-irrelevant typing in Haskell
Tritlo/dynamic-haskell-plugin
Tritlo/AWS-LARPI
Package Haskell functions for easy use on AWS Lambda
Tritlo/AoC22
Advent of Code '22 in Haskell
Tritlo/dotfiles
My dotfiles for OSX
Tritlo/ecta-plugin
A hole-fit plugin using ECTAs
Tritlo/AdventOfCode2021
Tritlo/fp-course
A repo for the Functional Programming course at Chalmers and its dev container.
Tritlo/feat-slider
Tritlo/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
Tritlo/quickspec
quickspec fork
Tritlo/py-smt
An SMT solver in Python
Tritlo/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
Tritlo/AoC2023
Advent of Code in Haskell 2023. Check out the videos at https://www.youtube.com/playlist?list=PLI1Cj70VxcjGEpNPG4kRMa2IS3Hqycv_z
Tritlo/device-benchmarks
Benchmarks of different devices I have come across
Tritlo/easycrypt-docker
A Docker image with EasyCrypt, Z3, Alt-Ergo, and Emacs with Proof-General and Doom Emacs preinstalled :D
Tritlo/ecta
Tritlo/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.
Tritlo/hpc
updates to hpc for my ghc branch
Tritlo/hpc-bin
Tritlo/JavaToJSON
Parses a list of Java files to JSON
Tritlo/m20-fifth
M20 Fifth (Adamantine Edition) as a markdown
Tritlo/mastodon
Your self-hosted, globally interconnected microblogging community
Tritlo/matplotlib-haskell
Haskell bindings for Python's Matplotlib
Tritlo/quake2-rerelease-dll
Tritlo/Tritlo
Tritlo/tritlo.github.io
Tritlo/WASP-AS1-Activity-Recognition