Skip to content
View PeterHajdu's full-sized avatar
31 followers · 38 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@bintrue @balabit

Block or report PeterHajdu

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

  • fwa Public

    A simple file watcher for OpenBSD

    C 11 2 BSD 2-Clause "Simplified" License Updated Oct 6, 2024

  • simux Public

    simple mux client

    C 1 BSD 2-Clause "Simplified" License Updated Jun 18, 2024

  • tinymux Public

    Forked from brazilofmux/tinymux

    TinyMUX

    C++ Updated May 27, 2024

  • memo Public

    stuff to remember

    C Updated May 17, 2024

  • kombilo Public

    Forked from ugoertz/kombilo

    Kombilo - a go database program

    C++ Other Updated Apr 2, 2024

  • zio-http Public

    Forked from zio/zio-http

    A scala library to write Http apps.

    Scala MIT License Updated Dec 8, 2022

  • Idris2 Public

    Forked from idris-lang/Idris2

    A purely functional programming language with first class types

    Idris Other Updated Aug 28, 2021

  • SafeguardDotNet Public

    Forked from OneIdentity/SafeguardDotNet

    One Identity Safeguard Web API C# SDK

    C# Apache License 2.0 Updated Jun 9, 2021

  • typl Public

    Idris Updated May 7, 2021

  • docker-elasticsearch-alpine Public

    Forked from blacktop/docker-elasticsearch-alpine

    Alpine Linux based Elasticsearch Docker Image

    Shell MIT License Updated Feb 11, 2021

  • bobek Public

    rabbitmq hacking tool

    Haskell 4 BSD 2-Clause "Simplified" License Updated Jun 26, 2020

  • zio-logging Public

    Forked from zio/zio-logging

    Simple logging for ZIO apps, with correlation, context & pluggable backends out of the box.

    Scala Apache License 2.0 Updated Mar 23, 2020

  • sbt-license-report Public

    Forked from sbt/sbt-license-report

    Report on licenses used in an sbt project.

    Scala Updated Nov 21, 2019

  • tulis Public

    A small game to teach programming

    Idris 1 MIT License Updated Aug 3, 2019

  • iterm Public

    Simple tools to build interactive terminal applications.

    Idris 1 BSD 3-Clause "New" or "Revised" License Updated Jul 30, 2019

  • idris-sdl2 Public

    Forked from steshaw/idris-sdl2

    SDL2 binding for Idris

    Idris Updated Jul 26, 2019

  • Idris-dev Public

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell Other Updated Jul 24, 2019

  • peti Public

    My text editor

    Idris BSD 3-Clause "New" or "Revised" License Updated Jun 26, 2019

  • ssh2-rs Public

    Forked from susu/ssh2-rs

    Rust bindings for libssh2

    Rust Updated Apr 18, 2019

  • SDL2-idris Public

    Forked from eckart/SDL2-idris

    SDL2 Bindings for the Idris programming language

    Idris Updated Jan 9, 2019

  • minink Public

    The code behind minink.io

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Sep 1, 2018

  • introduction-to-haskell Public

    Introductory Haskell course

    7 1 Creative Commons Attribution 4.0 International Updated Aug 17, 2018

  • pam-python Public

    Forked from Ralnoc/pam-python

    pam_python is a PAM module that runs the Python interpreter, and so allows PAM modules to be written in Python.

    C Updated Jul 30, 2018

  • sheetmusic Public

    LilyPond 1 Updated Apr 9, 2018

  • kutyus-hs Public

    Kutyus db implementation in haskell/

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Mar 16, 2018

  • hs Public

    multiplayer snake server

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Feb 12, 2018

  • yarrrtest Public

    Ruby Updated Feb 5, 2018

  • yarrrserver Public

    C++ 1 Updated Feb 5, 2018

  • yarrrclient Public

    C++ Updated Feb 5, 2018

  • libyarrr Public

    C++ Updated Feb 5, 2018