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/polytype
Polymorphic Teletype
sorki/rpi-cross
Cross build images for Raspberry Pi from x86
sorki/update-nix-file
Perform arbitrary `nix` file modification operations
sorki/48-io-configuration
Didactic-octo-invention
sorki/bcm2svd
Convert Broadcom bcm header files to SVD (System View Description)
sorki/binary-low-level
A strict version of the Get monad from the binary package.
sorki/cabal-bounds
Set the version bounds of dependencies in a cabal file
sorki/cabal-lenses
Lenses and traversals for the Cabal library.
sorki/ckanext-redmine-autoissues
CKAN plugin to automatically create redmine issues when new dataset appears
sorki/git-post-receive
Git post receive hooks for Haskell
sorki/git-updates
Work in progress web interface and tooling related to `git-post-receive`
sorki/hierarchical-clustering-diagrams
Draw diagrams of dendrograms made by hierarchical-clustering.
sorki/home-manager
Manage a user environment using Nix
sorki/hs-git
git protocol and storage in pure haskell
sorki/hs-speedscope
sorki/mainland-pretty
sorki/miso
:ramen: A tasty Haskell front-end framework
sorki/morph
NixOS deployment tool
sorki/mqtt-hs
A Haskell MQTT client library.
sorki/nix-linter
Linter for the Nix expression language
sorki/nixpkgs-esp-dev
Nix overlay for building the ESP8266 and ESP32 compiler toolchains.
sorki/nixus
sorki/nodemcu-firmware
Lua based interactive firmware for ESP8266, ESP8285 and ESP32
sorki/NUR
Nix User Repository: User contributed nix packages [maintainer=@Mic92]
sorki/ofborg
@grahamcofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg
sorki/pcb2gcode
Command-line tool for isolation, routing and drilling of PCBs
sorki/radiolist
Internet radio directory
sorki/repline
Haskeline wrapper for GHCi-like REPL interfaces
sorki/rtnetlink-hs
Manipulate network devices, addresses, and routes the classy way
sorki/some
Existential type.