Petr (@ppetr)
github

ppetr

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    128
  • Global Rank 173,460 (Top 6 %)
  • Followers 29
  • Following 12
  • Registered almost 15 years ago
  • Most used languages
    Haskell
         60.0 %
    Python
         16.0 %
    Scala
         4.0 %
    C++
         4.0 %
    Java
         4.0 %
    Rust
         4.0 %
    C
         4.0 %
    Makefile     4.0 %
  • Location πŸ‡¨πŸ‡Ώ Czechia
  • Country Total Rank 792
  • Country Ranking
    Haskell
         6
    Makefile     26
    Scala
         31
    Rust
         205
    Java
         227
    C++
         341
    Python
         376
    C
         393

Top repositories

1

arduino-influxdb

Simple script for reading data from Arduino's serial line and sending them to InfluxDB
Python
15
star
2

jLens

Auto-generated lenses for Java beans.
Java
14
star
3

openwrt-miredo

An OpenWRT package configuration for MIredo
Makefile
10
star
4

lockfree-userspace-rcu

Lock-free RCU (Read-Copy-Update) user-space library
C++
8
star
5

marray-sort

Quicksort implementation for mutable arrays (MArray) in Haskell
Haskell
5
star
6

qr-wifi

Create a PDF leaflet with a WiFi QR code
Python
5
star
7

async-await-monad

Async/await programming pattern in Haskell - synchronous interface with asynchronous implementation independent of a particular task scheduler
Haskell
5
star
8

haskell-typesafe-2-3-btrees

2-3 B-Trees with static guarantee that they're balanced.
Haskell
4
star
9

scala-conduit

Scala library implementing the concept of functional pipes/conduits.
Scala
4
star
10

freer

An implementation of "Freer Monads, More Extensible Effects"
Haskell
4
star
11

tie-knot

"Ties the knot" on a given set of structures that reference each other by keys - replaces the keys with their respective values.
Haskell
4
star
12

timeout-with-results

Allows timeouting a computation while allowing it to return partial results. Useful for making AI-like algorithms that should return the best result found within a time limit.
Haskell
4
star
13

tremulous-gpp-mods

My Tremulous GPP mods.
C
3
star
14

semigroups-actions

Semigroup/monoid actions on sets
Haskell
2
star
15

vidthumb

Simple script for creating video thumbnails
Python
2
star
16

home-automation-CAN

SW and HW for an inexpensive home automation communication network based on the CAN bus
2
star
17

tuples-homogenous-h98

Haskell 98 wrappers for n-ary homogenous tuples providing Traversable and Applicative instances.
Haskell
2
star
18

data-visualize

Visualize Haskell ADTs with Graphviz
Haskell
1
star
19

disjoint-sets-st

An imperative, high-performance disjoint set data structure.
Haskell
1
star
20

map-like

A common type class for various map-like data structures, both pure and mutable.
Haskell
1
star
21

rpi-voip-phone

Installation and configuration scripts that turn a Raspberry Pi computer into a VoIP telephone
1
star
22

persistent-queue-log

Durable, persistent log / FIFO queue in Python
Python
1
star
23

ordinal-list

Infinite lists indexed by ordinal numbers
Haskell
1
star
24

functional-data-structures

Exercises according to the Okasaki's book
Haskell
1
star
25

secure-packet-transport

Experimental simplified DTLS packet transport interface
Rust
1
star
26

emzaaci

Haskell
1
star
27

recursion-attributes

Allows representing and combing attributes on recursive processing of data structures, similar to attribute grammars.
Haskell
1
star