Pinned Repositories
bobek
rabbitmq hacking tool
fwa
A simple file watcher for OpenBSD
introduction-to-haskell
Introductory Haskell course
iterm
Simple tools to build interactive terminal applications.
kutyus-hs
Kutyus db implementation in haskell/
minink
The code behind minink.io
parrotshell
A shell that repeats every line.
sheetmusic
simux
simple mux client
PeterHajdu's Repositories
PeterHajdu/fwa
A simple file watcher for OpenBSD
PeterHajdu/introduction-to-haskell
Introductory Haskell course
PeterHajdu/bobek
rabbitmq hacking tool
PeterHajdu/iterm
Simple tools to build interactive terminal applications.
PeterHajdu/kutyus-hs
Kutyus db implementation in haskell/
PeterHajdu/minink
The code behind minink.io
PeterHajdu/sheetmusic
PeterHajdu/simux
simple mux client
PeterHajdu/tulis
A small game to teach programming
PeterHajdu/yarrrserver
PeterHajdu/docker-elasticsearch-alpine
Alpine Linux based Elasticsearch Docker Image
PeterHajdu/hs
multiplayer snake server
PeterHajdu/Idris-dev
A Dependently Typed Functional Programming Language
PeterHajdu/idris-sdl2
SDL2 binding for Idris
PeterHajdu/Idris2
A purely functional programming language with first class types
PeterHajdu/kombilo
Kombilo - a go database program
PeterHajdu/libyarrr
PeterHajdu/memo
stuff to remember
PeterHajdu/pam-python
pam_python is a PAM module that runs the Python interpreter, and so allows PAM modules to be written in Python.
PeterHajdu/peti
My text editor
PeterHajdu/SafeguardDotNet
One Identity Safeguard Web API C# SDK
PeterHajdu/sbt-license-report
Report on licenses used in an sbt project.
PeterHajdu/SDL2-idris
SDL2 Bindings for the Idris programming language
PeterHajdu/ssh2-rs
Rust bindings for libssh2
PeterHajdu/tinymux
TinyMUX
PeterHajdu/typl
PeterHajdu/yarrrclient
PeterHajdu/yarrrtest
PeterHajdu/zio-http
A scala library to write Http apps.
PeterHajdu/zio-logging
Simple logging for ZIO apps, with correlation, context & pluggable backends out of the box.