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/nix-narinfo
Parser and builder for .narinfo files
sorki/anomaly
Spacetime Anomaly - Openhardware FPV Freestyle frame
sorki/github-actions-dhall
Dhall helpers for GitHub Actions
sorki/haskell-project-template
Haskell project template buildable with Nix and Stack
sorki/haskell-zre
ZRE protocol implementation
sorki/ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
sorki/cereal-time
Serialize instances for types from `time` package.
sorki/developer-portal
The Cardano Developer Portal
sorki/dhall-haskell
Maintainable configuration files
sorki/factoids
Factoid database for IRC bots and co.
sorki/floating-bits
a continuation of anselm jonal scholl's floating-bits library.
sorki/grenade
Deep Learning in Haskell
sorki/Haskell-Nix-Derivation-Library
Parse and render *.drv files
sorki/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
sorki/hint
Runtime Haskell interpreter
sorki/hnix
A Haskell re-implementation of the Nix expression language
sorki/hnix-store-experiments
Code that doesn't fit elsewhere yet
sorki/hs-linux-namespaces
haskell library to work with linux namespaces
sorki/ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
sorki/ircbot
A simple haskell ircbot library. I have better ideas now, but this one is needed to support clckwrks-plugin-ircbot for now.
sorki/ircbridge
Bi-directional IRC bridging
sorki/language-c-quote
sorki/lens-family-th
Template Haskell to generate lenses for lens-family and lens-family-core
sorki/linux
Linux kernel source tree
sorki/nixpkgs
Nix Packages collection
sorki/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
sorki/servant-multipart
Support for file uploads in multipart/form-data for servant
sorki/stm32-rs
Embedded Rust device crates for STM32 microcontrollers
sorki/update-nix-fetchgit
A program to automatically update fetchgit values in Nix expressions
sorki/xnand