Pinned Repositories
baxend
A backend mini-framework, using XQuery/BaseX and Python multiprocessing.
chronomaps
Gtk app for making timeline maps
flask-demo
FormFaces
Reboot of FormFaces, an XForms library in Javascript
gtk-wayland-compositor
Wayland compositor delegating window management to Gtk layout
guixmpp
SVG web browser
sequents
Implementation of sequent calculus
state-channel-demo
white-box-fapkc
White-box cryptography based on FAPKC algorithm
haael's Repositories
haael/white-box-fapkc
White-box cryptography based on FAPKC algorithm
haael/state-channel-demo
haael/sequents
Implementation of sequent calculus
haael/baxend
A backend mini-framework, using XQuery/BaseX and Python multiprocessing.
haael/chronomaps
Gtk app for making timeline maps
haael/flask-demo
haael/FormFaces
Reboot of FormFaces, an XForms library in Javascript
haael/gtk-wayland-compositor
Wayland compositor delegating window management to Gtk layout
haael/guixmpp
SVG web browser
haael/math-animations
Very simple mathematical animations project utilising Gtk and asyncio
haael/pynationalrail
Python implementation for National Rail api. (UK)
haael/raitel
Futures trading on Raiden network, with Tellor as price oracle
haael/rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
haael/simple-dns-client
A simple DNS client written in Python.
haael/vault-demo