hurufu
C programmer working in FinTech. Develops FOSS payment SW. Interests: Embedded programming, declarative programming, formal methods. Uses Nokia N900.
Poland
Pinned Repositories
frobd
Auto responder/bouncer/forwarder that implements FROB ECR-EFT protocol
nexoid-ed
Nexo 4 Executable Diagrams
nexoid-fat-cpp
NEXO Financial Application for Terminals (FAT) implemented in C++
nexoid-nexui-flask
Nexo-in-the-cloud demo web application
nexoid-protocol-collection
[WIP] ASN.1 modules used for my NEXO implementation
prolog-all
Single interface to multitude of Prolog implementations
prolog-docker
Docker container for all the Prologs out there
rpg
Прототип настольной игры
zxvt-vassal-module
Capture of the Territory (VASSAL module)
hurufu's Repositories
hurufu/prolog-all
Single interface to multitude of Prolog implementations
hurufu/prolog-docker
Docker container for all the Prologs out there
hurufu/rpg
Прототип настольной игры
hurufu/zxvt-vassal-module
Capture of the Territory (VASSAL module)
hurufu/AceRules
A rule engine based on Attempto Controlled English
hurufu/APE
Parser for Attempto Controlled English (ACE)
hurufu/asn1tools
ASN.1 parsing, encoding and decoding.
hurufu/frobd
Auto responder/bouncer/forwarder that implements FROB ECR-EFT protocol
hurufu/nexoid-ed
Nexo 4 Executable Diagrams
hurufu/nexoid-fat-cpp
NEXO Financial Application for Terminals (FAT) implemented in C++
hurufu/nexoid-nexui-flask
Nexo-in-the-cloud demo web application
hurufu/nexoid-protocol-collection
[WIP] ASN.1 modules used for my NEXO implementation
hurufu/aur-bdwgc
PKGBUILD file for Boehm-Demers-Weiser garbage collector
hurufu/aur-drakon-editor
Fork of https://aur.archlinux.org/packages/drakon-editor
hurufu/aur-nexoid-fat-cpp
NEXO Financial Application for Terminals (FAT) implemented in C++
hurufu/aur-nexoid-nexui-flask
PKGBUIL for Nexo-in-the-cloud demo web UI
hurufu/aur-nexoid-nexui-flask-systemd
Systemd unit file for nexoid-nexui-flask
hurufu/drakon-editor
DRAKON Editor
hurufu/drumkit
Userspace driver for Dreamlink roll-up drumkit
hurufu/ffmpeg-planner
hurufu/hurufu
Config files for my GitHub profile.
hurufu/minetest
Plants growing stuff
hurufu/nexoid-tc-phenesthe
Experiment in NEXO-IS testing using temporal logic
hurufu/prolog-argkv
Small ISO Prolog library that implements records (Similar to Ciao Prolog argnames)
hurufu/scryer-prolog
A modern Prolog implementation written mostly in Rust.
hurufu/sedutil
DTA sedutil Self encrypting drive software
hurufu/smalltalk-sample
Just a sample SmallTalk project. Nothing interesting here
hurufu/snobol-procmail
Toy implementation of procmail in SNOBOL4
hurufu/zxvt-gdl-description
GDL description of a game "Capture of the Territory"