petertseng

Show me your best type systems.

Pinned Repositories

adventofcode-d-2015
Solutions to https://adventofcode.com/2015 (complete)
Language:D2 3 00
adventofcode-hs-2015
Solutions to https://adventofcode.com/2015 (complete)
Language:Haskell10 4 00
adventofcode-hs-2020
Solutions to https://adventofcode.com/2020 (complete)
Language:Haskell4 3 00
adventofcode-hs-2022
Solutions to https://adventofcode.com/2022 (complete)
Language:Haskell8 3 00
adventofcode-rb-2015
Solutions to https://adventofcode.com/2015 (complete)
Language:Ruby4 3 00
adventofcode-rb-2016
Solutions to https://adventofcode.com/2016 (complete)
Language:Ruby12 4 42
adventofcode-rb-2017
Solutions to https://adventofcode.com/2017 (complete)
Language:Ruby8 3 01
adventofcode-rb-2018
Solutions to https://adventofcode.com/2018 (complete)
Language:Ruby46 7 01
adventofcode-rb-2019
Solutions to https://adventofcode.com/2019 (complete)
Language:Ruby15 3 00
wordle-rs
Rust tools for Wordle
Language:Rust7 3 02

petertseng's Repositories

petertseng/adventofcode-rb-2018
Solutions to https://adventofcode.com/2018 (complete)
Language:Ruby46 7 01
petertseng/adventofcode-rb-2019
Solutions to https://adventofcode.com/2019 (complete)
Language:Ruby15 3 00
petertseng/adventofcode-rb-2016
Solutions to https://adventofcode.com/2016 (complete)
Language:Ruby12 4 42
petertseng/adventofcode-hs-2015
Solutions to https://adventofcode.com/2015 (complete)
Language:Haskell10 4 00
petertseng/adventofcode-hs-2022
Solutions to https://adventofcode.com/2022 (complete)
Language:Haskell8 3 00
petertseng/adventofcode-rb-2017
Solutions to https://adventofcode.com/2017 (complete)
Language:Ruby8 3 01
petertseng/adventofcode-hs-2020
Solutions to https://adventofcode.com/2020 (complete)
Language:Haskell4 3 00
petertseng/adventofcode-rb-2015
Solutions to https://adventofcode.com/2015 (complete)
Language:Ruby4 3 00
petertseng/adventofcode-rb-2020
Solutions to https://adventofcode.com/2020 (complete)
Language:Ruby2 3 10
petertseng/adventofcode-rb-2021
Solutions to https://adventofcode.com/2021 (complete)
Language:Ruby2 3 01
petertseng/adventofcode-common
Common test runner and utility scripts for https://adventofcode.com, not specific to any particular year
Language:Ruby1 3 0
petertseng/adventofcode-hs-2019
Solutions to https://adventofcode.com/2019 (all but day 25, unlikely to add day 25 due to lack of interest)
Language:Haskell1 3 0
petertseng/adventofcode-rb-2022
Solutions to https://adventofcode.com/2022 (complete)
Language:Ruby1 3 0
petertseng/adventofcode-hs-2016
Solutions to https://adventofcode.com/2016 (all but day 14, unlikely to add day 14 due to lack of interest)
Language:Haskell3 0
petertseng/adventofcode-hs-2017
Solutions to https://adventofcode.com/2017 (all but day 21, unlikely to add day 21 due to lack of interest)
Language:Haskell3 0
petertseng/adventofcode-hs-2018
Solutions to https://adventofcode.com/2018 (20/25 problems, missing 12, 14, 15, 18, 23, unlikely to complete due to lack of interest)
Language:Haskell3 0
petertseng/adventofcode-hs-2021
Solutions to https://adventofcode.com/2021 (all but day 23, unlikely to add day 23 due to lack of interest)
Language:Haskell3 0
petertseng/adventofcode-hs-2023
Solutions to https://adventofcode.com/2023 (in progress)
Language:Haskell
petertseng/adventofcode-hs-2024
Solutions to https://adventofcode.com/2024
Language:Haskell
petertseng/adventofcode-rb-2023
Solutions to https://adventofcode.com/2023 (in progress)
Language:Ruby1
petertseng/adventofcode-rb-2024
Solutions to https://adventofcode.com/2024
Language:Ruby
petertseng/adventofcode-rs-2023
Solutions to https://adventofcode.com/2023 (selected problems only, not intending to complete)
Language:Rust
petertseng/dotvim
My .vim directory
Language:Vim Script2 0
petertseng/dotxmonad
.xmonad
Language:Haskell3 0
petertseng/exercism-haskell
Exercism exercises in Haskell.
Language:Haskell1 0
petertseng/exercism-problem-specifications
Shared metadata for exercism exercises.
Language:Ruby1 0
petertseng/exercism-rust
Exercism exercises in Rust.
Language:Rust1 0
petertseng/jira-ruby
A Ruby gem for the JIRA REST API
Language:Ruby2 0
petertseng/signalfx-ruby
Ruby client library for SignalFx
Language:Ruby2 0
petertseng/spirit-island-pbp
Spirit Island PBP Helper
Language:Python0 0