gsfyrakis Goto Github PK

afloat

Afloat is a Mac extender that adds useful window management commands to most Mac apps.

agile_challenge1

alloy-coin

An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)

alloyanalyzer

An unofficial copy of MIT's Alloy Analyzer model checking tool.

angular-ui

AngularUI - The companion suite for AngularJS

angular.js

angularjs-plugin

AngularJS features for the Intellij Platform (WebStorm, RubyMine, Intellij, etc)

antirsi

AntiRSI for MacOSX and gnome

arquillian-extension-warp

Warp fills the void between client-side and server-side testing.

asi-http-request

Easy to use CFNetwork wrapper for HTTP requests, Objective-C, Mac OS X and iPhone

autobench

automatic-octo-computing-machine

OCaml linter for the Atom text editor.

bootstrap

Native AngularJS (Angular) directives for Twitter's Bootstrap. Small footprint (5kB gzipped!), no 3rd party JS dependencies (jQuery, bootstrap JS) required!

bower

A package manager for the web, created at Twitter

byte-unixbench

Automatically exported from code.google.com/p/byte-unixbench

c-programming

My solutions for K.N. King's textbook "C Programming: A Modern Approach"

ccc-microservice

ccc-ocaml

port of CCC to OCaml

cccenforcer

cloudhunter

cocoapods

An Objective-C library dependency manager.

conch

conch (Con-tract Ch-ecker) is a software for performing contract compliance checking.

continuous-enterprise-development

Testable Solutions for Modern Applications

contraval

A tool for validating the logical consistency of electronic contracts inplemented at Newcastle Univ. UK

csc8104-assignment

ctct-ios-jmml

Constant Contact Join My Mailing List app for iOS

devstack

oneiric powered development environment for openstack

dotfiles

:wrench: .files, including ~/.osx — sensible hacker defaults for OS X

drools

Drools Expert is the rule engine and Drools Fusion does complex event processing (CEP).

drools-mas

Drools Multi Agent System (experimental)