Pavlo Kerestey (ptek)

ptek

Geek Repo

Company:@novonordisk

Location:Berlin

Home Page:https://kerestey.net

Github PK Tool:Github PK Tool

Pavlo Kerestey's repositories

netsnmp

A NetSNMP binding for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:7Issues:3Issues:6

skeletal-set

A Haskell implementation of a skeletal set - a set equipped with an equivalence relation which is usually different from equality. This makes it more strict regarding membership of elements than a set.

Language:HaskellLicense:BSD-3-ClauseStargazers:6Issues:3Issues:0

hasktags-emacs

An automated TAGS generator for emacs for easier traversal of haskell code

Language:ShellStargazers:3Issues:3Issues:0

termitter

A terminal readonly twitter client (unmaintained)

Language:RubyStargazers:2Issues:3Issues:0

covid-compare

Comparing numbers between Berlin and Szczecin

Language:ShellStargazers:1Issues:3Issues:0
Language:GoLicense:GPL-3.0Stargazers:1Issues:3Issues:0

9base

A mirror of https://git.suckless.org/9base/

Language:CLicense:NOASSERTIONStargazers:0Issues:3Issues:0

binary-serialise-cbor

Binary serialisation in the CBOR format

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

coder-newbie-advice

A repo with some info to help people learning to code for free

Stargazers:0Issues:3Issues:0

data-propagate

A naive implementation of a persistent propagation network system

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0
Language:JavaStargazers:0Issues:1Issues:0
Language:ShellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

delta

An open-source storage layer that brings scalable, ACID transactions to Apache Spark™ and big data workloads.

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

drone

Drone is a Continuous Delivery platform built on Docker, written in Go

Language:GoLicense:Apache-2.0Stargazers:0Issues:3Issues:0

duckling

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

hledger

The hledger command-line/curses/web accounting tool, a Haskell rewrite of ledger.

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:3Issues:0

iTerm2

iTerm2 is a terminal emulator for Mac OS X that does amazing things.

Language:Objective-CLicense:GPL-2.0Stargazers:0Issues:3Issues:0
Language:HTMLStargazers:0Issues:3Issues:0
Language:HTMLStargazers:0Issues:3Issues:0

konferencja.budda-fest.pl

Konferencja na Festiwalu Buddyjskim w Szczecinie. 20. Maja 2023

Language:CSSStargazers:0Issues:0Issues:0

learnxinyminutes-docs

Code documentation written as code! How novel and totally my idea!

Language:JavaScriptStargazers:0Issues:3Issues:0
Stargazers:0Issues:3Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:3Issues:0

roslynka

A toy project to learn hardware sensors with my kids

Language:PythonStargazers:0Issues:2Issues:0

sha512-clip

A macOS command line tool to calculate SHA512 digest of text in the clipboard

Language:ShellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

tarsnap-backup

Haskell program for managing tarsnap backups

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

tasty-bdd

A bbd framework for haskell and some tasty bdd providers

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0
Language:JavaStargazers:0Issues:3Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0