bonotake

hoare

Hoare Logic in Alloy, based on Kleene Algebra with Domain (KAD) semantics

Allegories

Definition of Allegories

sandbox

test repo

arxiv-external-links

Clearinghouse for relations between arXiv e-prints and external resources

blueoil

Bring Deep Learning to small devices

bonotake.github.io

dockworker

Docker daemon API client in Rust

eight-to-googlecontacts

Converter of Eight CSV to Google Contacts CSV

hiki

Hiki is a powerful and fast wiki clone written in Ruby.

jekyll-now

Build a Jekyll blog in minutes, without touching the command line.

kodkod

Kodkod solver for relational logic

mccharts

nnvm

Bring deep learning to bare metal

nnvm-docker

NotionNovelizer

onnv

ONNX Shape Validator

onnx-docker

org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

python-packages-license-check

Exactly what it says it does - check your installed packages and report licenses.

rvtest

Experimental repo for review/test required PRs

slack-sdk-trial

synthesijer

takeo_cv

My resume

tdiary-core

tDiary, The TSUKKOMI-able Weblog.

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

yt_thumbnail_collector

Fetch and collect the latest video thumbnails of a specificd YouTube channel