Skip to content
View juhp's full-sized avatar
74 followers · 34 following
  • Red Hat
  • Singapore
  • X @juhp

Achievements

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

Achievements

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

Organizations

@fedora-haskell @HaXml

Block or report juhp

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

  • content-resolver-input Public

    Forked from minimization/content-resolver-input

    Configuration files for Feedback Pipeline

    Python Updated Nov 12, 2024

  • compare-fonts Public

    Little tool that compares two fonts for some sample text

    Haskell GNU General Public License v3.0 Updated Nov 11, 2024

  • haskell-tinyapp Public

    Forked from bcardiff/haskell-tinyapp

    Library to build tiny apps in Haskell

    Haskell Updated Nov 4, 2024

  • copilot Public

    Forked from Copilot-Language/copilot

    A stream-based runtime-verification framework for generating hard real-time C code.

    Haskell Updated Nov 4, 2024

  • lean4 Public

    Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    Lean Apache License 2.0 Updated Nov 3, 2024

  • dl-fedora Public

    Tool for downloading Fedora images

    Haskell 2 GNU General Public License v3.0 Updated Nov 2, 2024

  • hell Public

    Forked from chrisdone/hell

    Haskell-based shell scripting language

    Haskell Updated Oct 28, 2024

  • cabal-rpm Public

    Haskell Cabal RPM packaging tool

    Haskell 25 8 GNU General Public License v3.0 Updated Oct 28, 2024

  • curator Public

    Forked from commercialhaskell/curator
    Haskell Other Updated Oct 24, 2024

  • yesod Public

    Forked from yesodweb/yesod

    A RESTful Haskell web framework built on WAI.

    Haskell MIT License Updated Oct 21, 2024

  • stack-all Public

    build Haskell projects over Stackage LTS major versions

    haskell stack
    Haskell 4 1 BSD 3-Clause "New" or "Revised" License Updated Oct 13, 2024

  • generative-music-with-haskell Public

    Forked from mvaldesdeleon/generative-music-with-haskell

    Generative Music with Haskell workshop for MuniHac 2024

    Haskell BSD 3-Clause "New" or "Revised" License Updated Oct 12, 2024

  • jacinda Public

    Functional awk/apl/J

    Updated Oct 11, 2024

  • system-cabal Public

    Prefer system Haskell packages for building .cabal projects

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

  • best-of-lean4 Public

    Forked from 34j/best-of-lean4

    A list of awesome lean4 projects. Feel free to add your project.

    Creative Commons Attribution Share Alike 4.0 International Updated Oct 1, 2024

  • fhcontainer Public

    Fedora (Haskell) container tool

    Haskell 1 GNU General Public License v3.0 Updated Sep 24, 2024

  • ramalama Public

    Forked from containers/ramalama

    The goal of ramalama is to make working with AI boring.

    Shell MIT License Updated Sep 23, 2024

  • config-value Public

    Forked from glguy/config-value

    Simple, layout-based, unambiguous configuration language implemented in Haskell

    Haskell ISC License Updated Sep 22, 2024

  • fedora-krb Public

    Fedora kerberos Haskell library

    haskell fedora
    Haskell Other Updated Sep 17, 2024

  • fedora-composes Public

    Check the current status of latest Fedora composes

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

  • fedora-repoquery Public

    Haskell 6 GNU General Public License v3.0 Updated Sep 8, 2024

  • MicroHs Public

    Forked from augustss/MicroHs

    Haskell implemented with combinators

    Haskell Other Updated Sep 7, 2024

  • fbrnch Public

    Tool to update fedora packages branches

    fedora
    Haskell 23 3 GNU General Public License v2.0 1 issue needs help Updated Aug 18, 2024

  • select-rpms Public

    https://hackage.haskell.org/package/select-rpms

    Haskell MIT License Updated Aug 17, 2024

  • fedora-releases Public

    Fedora release versions library (formerly fedora-dists)

    Haskell 1 1 GNU General Public License v3.0 Updated Aug 17, 2024

  • crypton-connection Public

    Forked from kazu-yamamoto/crypton-connection

    simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.

    Haskell Other Updated Aug 5, 2024

  • rpmbuild-order Public

    Sorts source rpm package spec files by build dependency order

    rpm
    Haskell 8 1 Other Updated Aug 4, 2024

  • test-ghc-make Public

    Test behaviour of ghc compilation of a package with errors

    Haskell Other Updated Aug 3, 2024

  • Idris-dev Public

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell 1 Other Updated Aug 2, 2024

  • koji-tool Public

    Koji buildsystem CLI tool to query tasks, install build rpms, and check buildlog sizes

    Haskell 11 Other Updated Jul 27, 2024