Tritlo
A generalist functional programmer, currently doing research as a PhD student at Chalmers University of Technology.
Chalmers University of TechnologyGothenburg, Sweden
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