fran-penedo Goto Github PK

agmilp

Assume-Guarantee STL Contract Mining Using MILP

arch-install

Installation scripts for arch linux

cloud-sql-python-connector

A Python library for connecting securely to your Cloud SQL instances.

cmus

Small, fast and powerful console music player for Unix-like operating systems.

coverage

coverage-control-sim

dotfiles

My dotfiles

dreal

dReal: An SMT Solver for Nonlinear Theories of the Reals

dreal3

New implementation

drmotion

femformal

A Formal Methods Approach to Boundary Control Synthesis and Verification

i3pystatus

A complete replacement for i3status

ip_address

Plasma 5/6 widget to quickly show the public IP address and related informations.

luigi

Luigi is a Python module that helps you build complex pipelines of batch jobs. It handles dependency resolution, workflow management, visualization etc. It also comes with Hadoop support built in.

mld

Automatic MLD to MILP conversion

news

:newspaper: RSS/Atom feed reader

noobteam-bbf

oh-my-zsh

A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 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.

param-synth

param-synth-web

python-mode

Vim python-mode. PyLint, Rope, Pydoc, breakpoints from box.

qtbooks

A Simple Library Management System

rssify

Tool that generates an rss feed out of websites that don't have one

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

templogic

A Temporal Logic Library

twtlplan

Language-Guided Path Planning Using Time-Window Temporal Logic (TWTL)

vim-snippets

vim-snipmate default snippets (Previously snipmate-snippets)

vimux-nose-test

Run nose tests in vimux