sorki
Complexity management, ministry of chaos. I also like cats :black_cat:
@fivebinariesKrno, Czech Republic
Pinned Repositories
emhell
Embedded shells
lambdadrive
Experimental BLDC driver firmware
data-stm32
ARM SVD and CubeMX XML parser and pretty printer for STM32 family
anomaly
Spacetime Anomaly - Openhardware FPV Freestyle frame
haskell-zre
ZRE protocol implementation
nix-narinfo
Parser and builder for .narinfo files
nixos-omnia
NixOS for Turris Omnia router
pyjabberbot
Jabberbot fork
python-mnist
Simple MNIST data parser written in Python
sorki's Repositories
sorki/factoids
Factoid database for IRC bots and co.
sorki/anomaly
Spacetime Anomaly - Openhardware FPV Freestyle frame
sorki/ghcid
Very low feature GHCi based IDE
sorki/nix-diff
Explain why two Nix derivations differ
sorki/hnix-store
Haskell implementation of the nix store API
sorki/dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
sorki/nur-expressions
Personal experiments
sorki/haskell-fio
Fio Bank API client
sorki/hslice
Hslice - A Haskell based slicer.
sorki/data-lens-light
Simple lenses, minimum dependencies
sorki/cachix
Command line client for Nix binary cache hosting:
sorki/servant-mock
Derive a mock server for free from your servant API types
sorki/servant-swagger-ui
Provide embedded swagger UI for servant and swagger
sorki/stylish-haskell
Haskell code prettifier
sorki/ouroboros-consensus
Implementation of a Consensus Layer for the Ouroboros family of protocols
sorki/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
sorki/musnix
Real-time audio in NixOS
sorki/denotarius-api
API backend for Denotarius
sorki/iobj
Implicit objects
sorki/prometheus
Prometheus.io Haskell client.
sorki/blockfrost-openapi
OpenAPI specification for Blockfrost.io service
sorki/betaflight-tx-lua-scripts
Collection of scripts to configure Betaflight from your TX (currently only supported in OpenTx)
sorki/haskell-filesystem
Contains the system-filepath and system-fileio packages
sorki/lion
Where Lions Roam: RISC-V on the VELDT
sorki/plutus-apps
The Plutus application platform
sorki/monadlib
A monad transformer library for Haskell
sorki/bourne
json reader and writer
sorki/freer-simple
A friendly effect system for Haskell
sorki/python-mnist
Simple MNIST data parser written in Python
sorki/Haskell-Blockfrost-API
Blockfrost API client