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/ail_gpio
all-is-lost gpio
sorki/dotfiles
personal dotfiles
sorki/andromeda
A GLSL code generating DSL embedded in Haskell
sorki/cable_manage
Cable management models generators
sorki/canopen
CANopen for Python
sorki/ckan
CKAN is an open-source DMS (data management system) for powering data hubs and data portals. CKAN makes it easy to publish, share and use data. It powers datahub.io, catalog.data.gov and data.gov.uk among many other sites.
sorki/criu
Checkpoint/Restore tool
sorki/ghcjs
Haskell to JavaScript compiler, based on GHC
sorki/Haskell-MVC-Library
Model-view-controller
sorki/haxr
sorki/hydra
Hydra, the Nix-based continuous build system
sorki/lambdabot
A friendly IRC bot and apprentice coder, written in Haskell.
sorki/libvirt
PULL REQUESTS ARE IGNORED. Read-only mirror of https://libvirt.org/git/?p=libvirt.git
sorki/lxc
LXC - Linux Containers
sorki/md_tools
Mestska data tools
sorki/network-status
Library for quering network state and monitor changes over Netlink
sorki/nixops-dns
DNS server for resolving NixOps machines
sorki/nixos-config
My NixOS configuration
sorki/nixpkgs-python
nixpkgs-python is automatically (via pypi2nix) managed collection of nix+python expressions
sorki/ODriveFirmware
High performance motor control
sorki/ODriveHardware
High performance motor control
sorki/pypi2nix
Generate Nix expressions for Python package
sorki/Rack
Open-source virtual Eurorack DAW
sorki/rackprinter
sorki/stack
The Haskell Tool Stack
sorki/supybot-irccat
Supybot plugin relaying data from a tcp port to irc channel(s)
sorki/ttnmapper-web
The current TTN Mapper website code (open source subset).
sorki/u-boot
"Das U-Boot" Source Tree
sorki/vpsadmin
vpsAdmin web interface
sorki/website