vukk/asp-quicktools-web
Quick and dirty copypasta-style web tools for Answer Set Programming
Developer Profile
vukk
Discovered public repositories for vukk in the GitHub catalog.
vukk/fishrc
Public repository.
vukk/mrrc
Public repository.
vukk/oh-my-fish
Framework for managing your fish shell configuration inspired by Oh My ZSH.
vukk/visingo
Visualization platform for Answer Set Programming
vukk/shiny-nemesis-agent
New repo for Intelligent Agents project.
vukk/cz4013-client-c
C client for flight search, CZ4013 course at NTU (Singapore)
vukk/tcat-monotonic
Prepends shell output with monotonic timestamps. A mix of tcat and monotonic_timer.
vukk/asp-gv-convert-py
A python script to convert clasp output to JSON for the asp-gv-js visualization script
vukk/asp-gv
A script for visualizing changing edge sets of graphs/networks
vukk/vis
Dynamic, browser-based visualization library
vukk/banking.statements.osuuspankki
Plugin for ofxstatement to read CSV files exported from the online banking service of the Finnish Osuuspankki bank.
vukk/amdm-fpgrowth-python
An implementation of FP-growth in Python 3.
vukk/ope2-boids
Yet another boids implementation in python.
vukk/ohj1-jyu-proj
A very simple game created for JYU Programming 1 course.
vukk/.dotfiles
Public repository.