hurufu
C programmer working in FinTech. Develops FOSS payment SW. Interests: Embedded programming, declarative programming, formal methods. Uses Nokia N900.
Poland
hurufu's Stars
SerenityOS/serenity
The Serenity Operating System 🐞
martanne/vis
A vi-like editor based on Plan 9's structural regular expressions
jtheoof/swappy
A Wayland native snapshot editing tool, inspired by Snappy on macOS
mlochbaum/BQN
An APL-like programming language
spawnmason/randar-explanation
"Randar" is an exploit for Minecraft which uses LLL lattice reduction to crack the internal state of an incorrectly reused java.util.Random in the Minecraft server, then works backwards from that to locate other players currently loaded into the world.
yacy/yacy_expert
A search engine which will answer to all questions
webcamoid/akvcam
akvcam, virtual camera for Linux
adrian-thurston/ragel
Ragel State Machine Compiler
hsanson/vim-android
Android development plugin for vim
chainguard-dev/bincapz
detect malicious program behaviors
tsoding/eepers
Simple Turn-based Game
tendra/tendra
The TenDRA Project
Fault-lang/Fault
a language for building system dynamic models
nhorman/rng-tools
The rng-tools official repository (formerly part of the gkernel project on sourceforge)
ifupdown-ng/ifupdown-ng
flexible ifup/ifdown implementation
danielinux/ttybus
A simple TTY multiplexer.
aperezdc/termite
A keyboard-centric VTE-based terminal, aimed at use within a window manager with tiling and/or tabbing support.
sgware/sabre
Sabre is a narrative planning platform that generates stories which meet the author's goals and only contain actions that make sense for the characters who take them.
mndrix/edcg
Extended DCG syntax for Prolog by Peter Van Roy
JoseCSantos/GILPS
General Inductive Logic Programming System
ptarau/binprolog
Fast, simplified WAM-based Prolog system
ChrisDeadman/usb-to-ps2-gameport-hat
Convert USB devices to PS/2 & Gameport devices with the power of Arduino 🙂
alezost/guile-daemon
Evaluate code in a running Guile process
CapelliC/hhprolog
hitchhiker Prolog - an implementation of a novel virtual machine
pmderodat/ada-generators
Experimental support for coroutines-based generators in Ada
kwon-young/music
Music Notation Grammar
djpohly/vim-execline
execline syntax highlighting for vim (http://www.skarnet.org/software/execline/)
GhostFS/ghostfs
Ghost File System or simply GhostFS
stassa/vanilla
An inductive, Second-Order Prolog meta-interpreter
GDD-Nantes/fedup
FedUP (A SPARQL Federation Engine [That Builds Better Logical Plans])