Kei Shirakizawa (keisrk)

keisrk

Geek Repo

Company:diza

Location:Copenhagen, Denmark

Github PK Tool:Github PK Tool

Kei Shirakizawa's repositories

mason_bricks

Mason bricks

Language:JavaScriptStargazers:2Issues:1Issues:0

automatic

Automatic FOL Prover

Language:SchemeStargazers:1Issues:2Issues:0

doxml

Parser for docutils' internal XML

Language:PythonStargazers:1Issues:2Issues:0

morning_routine

My morning routine

quickps

Paper.js compiled with QuickJS

Language:C++License:MITStargazers:1Issues:1Issues:0

c-open

CANopen stack for embedded devices

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

cloud-keytool

Underfeatured front end to cloud secrets management serivces.

Language:JavaStargazers:0Issues:2Issues:0

datafrog

A lightweight Datalog engine in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

piecemeal

Design your automation/process control solution on the browser.

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

docker-thingworx

Simple dev setup for thingworx.

Language:ShellLicense:MITStargazers:0Issues:1Issues:0

flask-admin

Simple and extensible administrative interface framework for Flask

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

gwrap-gen

A script to generate G-Wrap's wrapping class from a C header file.

Language:SchemeStargazers:0Issues:2Issues:0

icsorg

Handle iCalendar (.ics) and Org-mode (.org) files.

Language:OCamlStargazers:0Issues:2Issues:0

open62541

Open source implementation of OPC UA (OPC Unified Architecture) aka IEC 62541 licensed under Mozilla Public License v2.0

Language:CLicense:MPL-2.0Stargazers:0Issues:1Issues:0

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.

License:NOASSERTIONStargazers:0Issues:0Issues:0

ox-docutils

Org-mode exporter to docutils' internal XML

Language:Emacs LispStargazers:0Issues:2Issues:0

p-net

PROFINET device stack for embedded devices

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:IsabelleLicense:NOASSERTIONStargazers:0Issues:2Issues:0

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.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rust-mbedtls

Idiomatic Rust wrapper for MbedTLS

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

sketch

3D Design Tool with ScalaJS and HTML5 Canvas

Language:ScalaStargazers:0Issues:2Issues:0

SOEM

Simple Open Source EtherCAT Master

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:JavaLicense:MITStargazers:0Issues:1Issues:0