Pinned Repositories
automatic
Automatic FOL Prover
doxml
Parser for docutils' internal XML
mason_bricks
Mason bricks
morning_routine
My morning routine
piecemeal
Design your automation/process control solution on the browser.
quickps
Paper.js compiled with QuickJS
keisrk's Repositories
keisrk/mason_bricks
Mason bricks
keisrk/automatic
Automatic FOL Prover
keisrk/doxml
Parser for docutils' internal XML
keisrk/morning_routine
My morning routine
keisrk/quickps
Paper.js compiled with QuickJS
keisrk/c-open
CANopen stack for embedded devices
keisrk/cloud-keytool
Underfeatured front end to cloud secrets management serivces.
keisrk/datafrog
A lightweight Datalog engine in Rust
keisrk/piecemeal
Design your automation/process control solution on the browser.
keisrk/docker-thingworx
Simple dev setup for thingworx.
keisrk/flask-admin
Simple and extensible administrative interface framework for Flask
keisrk/gwrap-gen
A script to generate G-Wrap's wrapping class from a C header file.
keisrk/icsorg
Handle iCalendar (.ics) and Org-mode (.org) files.
keisrk/open62541
Open source implementation of OPC UA (OPC Unified Architecture) aka IEC 62541 licensed under Mozilla Public License v2.0
keisrk/OpENer
OpENer is an EtherNet/IP stack for I/O adapter devices. It supports multiple I/O and explicit connections and includes objects and services for making EtherNet/IP-compliant products as defined in the ODVA specification.
keisrk/ox-docutils
Org-mode exporter to docutils' internal XML
keisrk/p-net
PROFINET device stack for embedded devices
keisrk/PSL
keisrk/qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
keisrk/rust-mbedtls
Idiomatic Rust wrapper for MbedTLS
keisrk/sketch
3D Design Tool with ScalaJS and HTML5 Canvas
keisrk/SOEM
Simple Open Source EtherCAT Master
keisrk/webjars-locator