Nothing Special   »   [go: up one dir, main page]
Skip to content
View Tritlo's full-sized avatar
133 followers · 49 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Block or report Tritlo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • dotfiles Public

    My dotfiles for OSX

    Vim Script 3 1 Updated Sep 14, 2024

  • Tritlo Public

    Updated Sep 6, 2024

  • spectacular Public

    Haskell 9 BSD 3-Clause "New" or "Revised" License Updated Aug 19, 2024

  • Adv360-Pro-ZMK Public

    Forked from KinesisCorporation/Adv360-Pro-ZMK

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

    Shell MIT License Updated Jul 19, 2024

  • ghc-proposals Public

    Forked from ghc-proposals/ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell

    Python 1 1 Updated Jul 4, 2024

  • PropR Public

    Genetic program repair using GHC

    Haskell 30 2 MIT License Updated May 16, 2024

  • feat-slider Public

    Haskell 1 MIT License Updated May 11, 2024

  • device-benchmarks Public

    Forked from chsasank/device-benchmarks

    Benchmarks of different devices I have come across

    Python Updated Feb 18, 2024

  • AoC2023 Public

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

    Haskell Updated Dec 20, 2023

  • fp-course Public

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

    Dockerfile 2 1 Updated Nov 2, 2023

  • ecta-plugin Public

    A hole-fit plugin using ECTAs

    Haskell 3 MIT License Updated Sep 24, 2023

  • writ-plugin Public

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

    Haskell 7 MIT License Updated Sep 14, 2023

  • ghc Public

    Forked from ghc/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.haske…

    Haskell Other Updated Sep 13, 2023

  • quake2-rerelease-dll Public

    Forked from id-Software/quake2-rerelease-dll
    C GNU General Public License v2.0 Updated Aug 7, 2023

  • hpc-bin Public

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jul 12, 2023

  • hpc Public

    updates to hpc for my ghc branch

    Haskell Other Updated Jul 12, 2023

  • quickspec Public

    quickspec fork

    Haskell 1 Other Updated Jan 24, 2023

  • AoC22 Public

    Advent of Code '22 in Haskell

    Haskell 3 MIT License Updated Dec 20, 2022

  • mastodon Public

    Forked from mastodon/mastodon

    Your self-hosted, globally interconnected microblogging community

    Ruby GNU Affero General Public License v3.0 Updated Nov 25, 2022

  • tritlo.github.io Public

    SCSS Updated Nov 23, 2022

  • easycrypt-docker Public

    Forked from agustinmista/easycrypt-docker

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

    Emacs Lisp Updated Nov 16, 2022

  • matplotlib-haskell Public

    Forked from abarbu/matplotlib-haskell

    Haskell bindings for Python's Matplotlib

    Haskell Other Updated Nov 11, 2022

  • ecta Public

    Forked from jkoppel/ecta
    Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 16, 2022

  • WASP-AS1-Activity-Recognition Public archive

    Python Updated Jun 22, 2022

  • dynamic-haskell-plugin Public

    Haskell 5 MIT License Updated Feb 1, 2022

  • m20-fifth Public

    Forked from brunobord/m20-fifth

    M20 Fifth (Adamantine Edition) as a markdown

    Other Updated Dec 20, 2021

  • AdventOfCode2021 Public

    Haskell 2 MIT License Updated Dec 15, 2021

  • JavaToJSON Public

    Parses a list of Java files to JSON

    Shell MIT License Updated Dec 6, 2021

  • py-smt Public

    An SMT solver in Python

    Python MIT License Updated Feb 17, 2021

  • AWS-LARPI Public

    Package Haskell functions for easy use on AWS Lambda

    Haskell 4 MIT License Updated Jan 26, 2021