Pinned Repositories
xmq
Convert xml/html to a more human readable/editable format (xmq/htmq) and back can also work with json. Includes a syntax highlighter and pretty printer, pager and can render to html and tex.
EventBTool
EVBT - an Event-B tool for code generation and documentation
beak
A backup tool, useful for all sorts of tasks.
beakold
Fast mirroring/backup solution using btrfs, rclone and tarredfs.
MakeTutorial
A tutorial for teaching GNU Make.
moln
A bash utility to install and invoke commands on cli:s for multiple cloud providers: aws, gcloud, azure.
rtl-wmbus
Software defined receiver for wireless M-Bus with RTL-SDR
sjavac
sjavac = smart javac wrapper jdk8 backport
ti994a_basic
Edit TI-99/4a basic programs. Upload/Download TIFILES. Play sounds for transfer of basic program to actual TI-99/4a computer.
wmbusmeters
Read the wired or wireless mbus protocol to acquire utility meter readings.
weetmuts's Repositories
weetmuts/sjavac
sjavac = smart javac wrapper jdk8 backport
weetmuts/brygg
weetmuts/BToolkit
The BToolkit, a toolkit supporting software development with the B-method.
weetmuts/camille
The Camille Editor for Rodin
weetmuts/CorbaExperiments
Run Corba using jdk11
weetmuts/dotemacs
My dotemacs file
weetmuts/ExperimentsEventB
Experiments with Event-B.
weetmuts/google-authenticator-android
Open source fork of the Google Authenticator Android app
weetmuts/JacORB
JacORB ORB
weetmuts/mame
MAME
weetmuts/mathteacher
For children playing Minecraft, popup a window at random times with a math query!
weetmuts/openjdk-jdk11
Mirror of the jdk/jdk11 Mercurial forest at OpenJDK
weetmuts/organize-images
Organize a directory of jpg files into year/month/day/YYMMDD-HHMMSS.jpg
weetmuts/rclone
"rsync for cloud storage" - Google Drive, Amazon Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Cloudfiles, Google Cloud Storage, Yandex Files
weetmuts/rodin-b-sharp-CodeGen
My work mirror of https://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/master/tree/
weetmuts/rodin-b-sharp-EMF_EVENT_B
My work mirror of https://sourceforge.net/p/rodin-b-sharp/EMF_EVENT_B/ci/master/tree/
weetmuts/rodin-b-sharp-EventBUtils
My work mirror of https://sourceforge.net/p/rodin-b-sharp/EventBUtils/ci/master/tree/
weetmuts/rodin-b-sharp-iUML_B
My work mirror of https://sourceforge.net/p/rodin-b-sharp/iUML_B/ci/master/tree/
weetmuts/rodin-b-sharp-iUML_B_Utils
My work mirror of https://sourceforge.net/p/rodin-b-sharp/iUML_B_Utils/ci/master/tree/
weetmuts/SpringBootExperiments
weetmuts/test
weetmuts/xpmbiff
Display an image inside an fvwm GoodStuff icon, to indicate if you have unready mail or not.