matobet
Distributed systems hacker, in love with functional programming (Scala, Haskell, Rust = <3)
Brno, Czech Republic
Pinned Repositories
cassandra
Mirror of Apache Cassandra
curator
Mirror of Apache Curator
doctor-rest
Generic proxy for REST-ful APIs with custom query language and MQTT push notifications.
dragon-map
A module for Redis adding support for 2nd level indexes over keys, supporting individual keys' expiration and automatic index grooming.
item-justice
A simple game item management application using Spring and AngularJS.
mustech
Project for PV243 JBoss
ovirt-scripts
redismodule-rs
Rust API for Redis Modules API
zookeeper
Mirror of Apache Hadoop ZooKeeper
matobet's Repositories
matobet/dragon-map
A module for Redis adding support for 2nd level indexes over keys, supporting individual keys' expiration and automatic index grooming.
matobet/redismodule-rs
Rust API for Redis Modules API
matobet/arrow
Λrrow - Functional companion to Kotlin's Standard Library
matobet/cryptonite
lowlevel set of cryptographic primitives for haskell
matobet/discord-haskell
Haskell library for writing Discord bots
matobet/dyco-mirror-bot
Bot enabling general purpose mirroring of chats/channels between Telegram and Discord
matobet/flora-server
A package index for the Haskell ecosystem
matobet/fourmolu
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
matobet/hedis
A Redis client library for Haskell.
matobet/insert-ordered-containers
Associative containers retating insertion order for traversals
matobet/ktor-arrow-example
Real World implementation - "The mother of all demo apps". Written in Kotlin, with Ktor, Arrow, SqlDelight, KotlinX Serialization, etc.
matobet/mtl
The Monad Transformer Library
matobet/nix-env-selector
Allows switch environment for Visual Studio Code and extensions based on Nix config file.
matobet/openapi3
OpenAPI 3.0 data model
matobet/optics
Optics as an abstract interface
matobet/ormolu
A formatter for Haskell source code
matobet/postgres-native-sqldelight
A Kotlin native Postgres driver for SqlDelight.
matobet/prometheus
Prometheus.io Haskell client.
matobet/quickspec
Equational laws for free
matobet/Rocket
A web framework for Rust.
matobet/servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
matobet/servant-multipart
Support for file uploads in multipart/form-data for servant
matobet/snap-core
Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.
matobet/snap-server
A fast HTTP server library, which runs Snap web handlers.
matobet/sqldelight
SQLDelight - Generates typesafe Kotlin APIs from SQL
matobet/stm-lifted
STM Generalized with MonadIO
matobet/swagger2
Swagger 2.0 data model.
matobet/telegram-bot-simple
Easy to use library for building Telegram bots in Haskell.
matobet/webauthn
A library for parsing and validating webauthn/fido2 credentials
matobet/yew
Rust / Wasm framework for building client web apps