samsabra's repositories
BDM4065UC11
[WIP]
com.acme.prime
An example workspace for the osgi.enroute base tutorial
diploma-nets
Timed Petri Nets Real-Time Constructor
docker-firefox
Firefox over Docker via VNC
docker-layer-extract
Command line utility to extract a single layer tarball from a saved docker image tarball
docker-remote-desktop
Docker image for Remote Desktop server with audio support
docker-wine
Docker image that includes Wine and Winetricks for running Windows applications on Linux and macOS
go-flynn-example
Flynn example app written in Go
hustle
A javascript queuing/messaging library persisted over IndexedDB
java-flynn-example
Flynn example app written in Java
js-sequence-diagrams
Draws simple SVG sequence diagrams from textual representation of the diagram
knime-core
KNIME Analytics Platform
kupfer
kupfer, smart, quick launcher. `master' is kupfer's release branch.
linux-config
a collection of .config files which work for certain machines
logseq
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap
mongo
The Mongo Database
oh-my-zsh
A delightful community-driven (with 1,000+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
OpenBCI_GUI
A cross platform application for the OpenBCI Cyton and Ganglion. Tested on Mac, Windows and Ubuntu/Mint Linux.
petri-net
A simple library for modelling and executing Petri Nets
philrs232
Linux SICP (RS232C) protocol implementation for Philips BDM4065UC
php-flynn-example
Flynn example app written in PHP
selectize.js
Selectize is the hybrid of a textbox and <select> box. It's jQuery based and it has autocomplete and native-feeling keyboard navigation; useful for tagging, contact lists, etc.
streamkeys
Global media player hotkeys for chrome