MasWag

cv-satysfi

Curriculum Vitae class in SATySFi

qtpm

An experimental implementation of Quantitative Timed Pattern Matching

FalCAuN

Falsification of CPS via Automata Learning

dockerfiles

visualize-monaa-dot

Translate MONAA's dot language to the dot language recognizable by Graphviz.

XPubLiCon

An XML-based publication list converter

bats-mode

Emacs mode for editing and running Bats tests

BiByFi

A bibliography framework for SATySFi.

emacs-elfeed-sync

Synchronizing the Elfeed RSS feed reader's database index file across multiple devices

FalCAuN-ARCH-COMP

Scripts for ARCH-COMP falsification track with FalCAuN

half_adder_verification_example

Example to verify a half adder with SymbiYosys

homebrew-formulae

My own homebrew tap

homebrew-scientific

Homebrew Taps for my favorite scientific software

homebrew-vmctl

homfa

lascar

An OCaml library for manipulating Labeled Transition Systems

LearnTA

C++ library for timed automata learning

LearnTA-dot

Tools for the dot files used in LearnTA

Mainroad

Responsive, simple, clean and content-focused Hugo theme based on the MH Magazine lite WordPress theme

MasWag-.emacs.d

objective-git

Objective-C bindings to libgit2

org-export-todoist

Export org-agenda as tasks of Todoist

ox-rss

raspberry-pi-remocon

Script generator for a smart IR transmitter using Raspberry Pi

satyristes-mode

SATySFi-fonts-roboto

SATySFi font package for Roboto fonts.

slydifi-kyoto-demo

A demo of Kyoto theme of SLyDiFi

TFHEpp

Pure C++ Ver. of TFHE.

timed_word_fig_maker

Generate a figure of a timed word from CSV

vmctl

Uniform interface to multiple virtual machines