Skip to content
View phadej's full-sized avatar
🦉
Someone here is possessed by an owl. Who?
🦉
Someone here is possessed by an owl. Who?
602 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4Achievement: Starstruckx3

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4Achievement: Starstruckx3

Organizations

@igbinary @baconjs @haskell-infra @jsverify @haskhel @osakunta

Block or report phadej

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

  • fix-whitespace Public

    Forked from agda/fix-whitespace

    Fixes whitespace issues

    Haskell Other Updated Mar 15, 2025

  • adjunctions Public

    Forked from ekmett/adjunctions

    Simple adjunctions

    Haskell Other Updated Mar 14, 2025

  • nbexp Public

    NbE eXPeriments

    Agda Updated Feb 19, 2025

  • debruijn Public

    de Bruijn indices and levels for well-scoped terms

    Haskell 4 Updated Feb 15, 2025

  • agda-np Public

    More programming suited version of All and Any, and other tools I keep reimplementing.

    Agda 2 Updated Feb 13, 2025

  • gists Public

    Oleg's gists

    hakyll
    JetBrains MPS 10 1 BSD 3-Clause "New" or "Revised" License Updated Feb 13, 2025

  • cabal-sublib-bug Public

    A demo package for sublib name bug in Cabal

    Haskell Updated Feb 4, 2025

  • int-conv Public

    Direct conversion functions between Ints and Words

    Haskell 2 Other Updated Feb 2, 2025

  • topograph Public

    Directed Acyclic Graphs

    Haskell 21 4 BSD 3-Clause "New" or "Revised" License Updated Jan 12, 2025

  • singleton-bool Public

    Type level booleans

    Haskell 6 4 BSD 3-Clause "New" or "Revised" License Updated Jan 5, 2025

  • regression-simple Public

    Simple linear and quadratic regression

    Haskell 6 BSD 3-Clause "New" or "Revised" License Updated Jan 3, 2025

  • integer-conversion Public

    Effecient conversion from text to Integer

    Haskell 6 Other Updated Jan 3, 2025

  • file-embed-lzma Public

    Use Template Haskell to embed (LZMA compressed) data.

    Haskell 7 BSD 3-Clause "New" or "Revised" License Updated Jan 3, 2025

  • dec Public

    Decidable propositions

    Haskell 4 3 BSD 3-Clause "New" or "Revised" License Updated Dec 27, 2024

  • boring Public

    Boring and Absurd types

    Haskell 17 7 Updated Dec 27, 2024

  • time Public

    Forked from haskell/time

    A time library

    Haskell Other Updated Dec 22, 2024

  • cabal-extras Public

    A tool suite to aid Haskell development using `cabal-install`

    Haskell 85 19 5 issues need help Updated Dec 8, 2024

  • vec Public

    Nat, Fin, Vec

    Haskell 24 12 2 issues need help Updated Nov 9, 2024

  • trustee Public

    Hackage Trustee helper tool

    Haskell 13 3 GNU General Public License v3.0 Updated Nov 9, 2024

  • phadej-universe Public

    Some of my packages in a monorepository

    Makefile Updated Nov 6, 2024

  • text-metrics Public

    Forked from mrkkrp/text-metrics

    Calculate various string metrics efficiently in Haskell

    Haskell Other Updated Sep 27, 2024

  • zinza Public

    Typed templates with jinja like syntax. Docs on Hackage.

    Haskell 9 4 GNU General Public License v2.0 Updated Aug 20, 2024

  • spdx Public

    SPDX license expression language - Haskell implementation

    Haskell 5 6 BSD 3-Clause "New" or "Revised" License Updated Aug 18, 2024

  • puresat Public

    Pure Haskell SAT solver

    Haskell 5 Other Updated Aug 18, 2024

  • tasty Public

    Forked from UnkindPartition/tasty

    Modern and extensible testing framework for Haskell

    Haskell Updated Aug 13, 2024

  • bound-extras Public

    ScopeT and ScopeH

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

  • range-set-list Public

    Memory efficient sets with continuous ranges of elements. List based implementation.

    Haskell 5 4 MIT License Updated Aug 2, 2024

  • months Public

    Month, YearMonth, Quarter, YearQuarter

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

  • lens Public

    Forked from ekmett/lens

    Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

    Haskell Other Updated Jul 5, 2024

  • wide-word Public

    Forked from erikd/wide-word

    A haskell library providing Word128 and Int128 types

    Haskell BSD 2-Clause "Simplified" License Updated Jul 5, 2024