Ioannis Sfyrakis's repositories
afloat
Afloat is a Mac extender that adds useful window management commands to most Mac apps.
AlloyAnalyzer
An unofficial copy of MIT's Alloy Analyzer model checking tool.
angular-ui
AngularUI - The companion suite for AngularJS
angularjs-plugin
AngularJS features for the Intellij Platform (WebStorm, RubyMine, Intellij, etc)
arquillian-extension-warp
Warp fills the void between client-side and server-side testing.
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
c-programming
My solutions for K.N. King's textbook "C Programming: A Modern Approach"
contraval
A tool for validating the logical consistency of electronic contracts inplemented at Newcastle Univ. UK
devstack
oneiric powered development environment for openstack
GGLogicSolver
Attempting to make a grid-style logic problem solver using MIT's Alloy and python.
iperf-mirage
A simple Iperf-like utility, intended to benchmark mirage network stack
JQM-Swipefix
a small script to fix the jQuery mobile swipe events to work properly and respect the vertical threshold during scroll
jquery-mobile
jQuery Mobile Framework
jquery-mobile-angular-adapter
jquery mobile angular adapter
minikanren-ocaml
miniKanren in OCaml
mirage-http-xen
Xen HTTP client and server using the Mirage libraries
MobileComponents
Mobile components to support Salesforce mobile app development
MobilePack-BackboneJS
Backbone.Force is a plugin for Backbone.js library that enables Force.com connectivity.
ng-grid
Angular Data Grid
Open-Science-Paper
Status: Usable (Latest stable version 0.9.2)
OpenAttestation
Software Development Kit to enable remotely retrieval and verify target platforms integrity
tinytlf
A tiny, versatile, AS3 text layout framework built on top of the Flash Text Engine for Flash and Flex applications.
topcoat
CSS for clean and fast web apps
xen-examples
Making the examples code of "The Definitive Guide to the Xen Hypervisor" work with Xen-4.2 or above