robinp

Budapest, Hungary

Pinned Repositories

akkaz
Scalaz-7 typeclasses for Akka
Language:Scala12 6 40
align
Sequence alignment in Haskell, not only for strings (local, global, multi-sequence).
Language:Haskell5 4 23
Brekkencs
Brekkencs is an interactive entity-component-system that pleases both Breki and Zizz.
Language:Haxe0 2 01
hxpattern
hxPattern provides extended pattern matching for the haXe language
Language:Haxe5 3 11
nemnem
Source hyperlinker for Haskell
Language:Haskell11 4 300
repli
Small HTTP wrapper around mueval
Language:Haskell1 4 00
underhood
UnderHood is a code browsing interface backed by Kythe indices.
Language:Nix91 9 285
zoekt-underhood
An Underhood gateway server using Zoekt indices.
Language:Go2 2 20

robinp's Repositories

robinp/align
Sequence alignment in Haskell, not only for strings (local, global, multi-sequence).
Language:Haskell5 4 23
robinp/hornetq-wireshark-dissector
Wireshark Dissector for the HornetQ protocol
Language:Lua1 3 14
robinp/nginx-rtmp-docker
Docker image with Nginx using the nginx-rtmp-module module for live multimedia (video) streaming.
Language:Dockerfile1 1 0
robinp/Brekkencs
Brekkencs is an interactive entity-component-system that pleases both Breki and Zizz.
Language:Haxe0 2 01
robinp/haskell-indexer
Emits code crossreference data for Haskell sources.
Language:Haskell0 2 00
robinp/age-plugin-yubikey
YubiKey plugin for age
Language:Rust1 0
robinp/cache
Cache dependencies and build outputs in GitHub Actions
Language:TypeScript1 0
robinp/ghc-dump-tree
Dump GHC's abstract syntax trees
Language:Haskell3 0
robinp/gohugo-tailwindcss-alpinejs-starter
Hugo Starter with Tailwind CSS, Alpinejs and GitHub Actions
Language:HTML1 0
robinp/home-manager-config
home-manager configuration
Language:Nix2 0
robinp/hs-rqlite
An unofficial Haskell client for RQlite
Language:Haskell1 0
robinp/hw-kafka-client
Kafka client for Haskell, including auto-rebalancing consumers
Language:Haskell1 0
robinp/jsonnet
Jsonnet - The data templating language
Language:Jsonnet1 0
robinp/katip
A structured logging framework for Haskell
Language:Haskell1 0
robinp/nixos-config
NixOS configuration
Language:Nix3 0
robinp/nixpkgs
Nix Packages collection
Language:Nix1 0
robinp/openmessaging-java
OpenMessaging Runtime Interface for Java
Language:Java2 0
robinp/port-utils
Utilities for creating and waiting on sockets
Language:Haskell1 0
robinp/proto3-suite
Haskell Protobuf Implementation
Language:Haskell1 0
robinp/puppeteer
Headless Chrome Node.js API
Language:TypeScript1 0
robinp/repro-hedgehog-fn-shrinkbug
Smallish example where fn shrinker fails.
Language:Haskell
robinp/robinp.github.io
My github pages
Language:HTML3 0
robinp/rqlite
The lightweight, distributed relational database built on SQLite
Language:Go1 0
robinp/stopwords-hu
Hungarian stopwords collection
2 0
robinp/tagbar
Vim plugin that displays tags in a window, ordered by scope
Language:Vim Script1 0
robinp/token-limiter-concurrent
A type-safe token-bucket-based rate limiter with fairness and without the thundering herd problem
Language:Haskell1 0
robinp/vim-wordy
Uncover usage problems in your writing
Language:Vim script1 0
robinp/vue-backtotop
A Back-to-top component for Vue.js, which scroll page to the top when clicked
Language:Vue1 0
robinp/vue-matomo
Vue plugin for Matomo Analytics
Language:JavaScript1 0
robinp/wai
Haskell Web Application Interface
Language:Haskell1 0