Pinned Repositories
CCCEnforcer
conch
conch (Con-tract Ch-ecker) is a software for performing contract compliance checking.
drools
Drools Expert is the rule engine and Drools Fusion does complex event processing (CEP).
drools-mas
Drools Multi Agent System (experimental)
flex-sdk
Mirror of Apache Flex SDK
freepbx.clid.ote
Using OTE’s 11888 web site as a (relatively) fast CLID data provider for FreePBX/Asterisk
git-rcs-keywords
mosco
A BPMN choreography verifier: COnverts bpmn choreography MOdels to promela, includes ltl formulae and verifies them.
RHAddressBook
A Cocoa / Objective-C library for interfacing with the iOS AddressBook that also adds geocoding support.
TECOmate
Tools for the Enforcement of Smart Contracts Online with MAthematics and TEchnology
gsfyrakis's Repositories
gsfyrakis/mirage-seal
Sealing local directories into Mirage Unikernels
gsfyrakis/mirage-profile
Collect profiling information
gsfyrakis/HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
gsfyrakis/kie-wb-common
Shared screens, widgets and services for KIE workbenches.
gsfyrakis/errai
Errai
gsfyrakis/Interviews
gsfyrakis/kie-wb-distributions
Drools & jBPM Workbench Distributions
gsfyrakis/drools-wb
Drools Workbench is the web application and repository to govern Drools assets.
gsfyrakis/workrave
Workrave is a program that assists in the recovery and prevention of Repetitive Strain Injury (RSI). The program frequently alerts you to take micro-pauses, rest breaks and restricts you to your daily limit.
gsfyrakis/kie-uberfire-extensions
KIE extensions to UberFire framework
gsfyrakis/mirage-xen-minios
Install external libraries for the Mirage Xen backend, notably MiniOS and OpenLibm
gsfyrakis/ocaml-bitcoin
OCaml-bitcoin is a library offering an OCaml interface to the official Bitcoin client API
gsfyrakis/MoanaML
Moana implementation in OCaml
gsfyrakis/mirage-trace-viewer
GTK and HTML viewers for mirage-profile trace files
gsfyrakis/example-ocaml-merlin
An example of a simple project in OCaml that uses Merlin
gsfyrakis/ocaml-dns-examples
introduction to ocaml-dns for MirageOS
gsfyrakis/xen-4.5
XenServer mirror of Xen 4.5 from xenbits.xen.org
gsfyrakis/mirage
Cloud programming platform
gsfyrakis/irmin
Irmin is a distributed database that follows the same design principles as Git
gsfyrakis/ocaml-cstruct
Map OCaml arrays onto C-like structs
gsfyrakis/CCC-OCaml
port of CCC to OCaml
gsfyrakis/mirage-platform
Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.
gsfyrakis/mirage-bootvar-xen
Library for reading MirageOS unikernel boot parameters in Xen
gsfyrakis/mirage-skeleton
Build skeleton and examples of simple Mirage apps
gsfyrakis/mirage-bench
gsfyrakis/ocaml-xenstore-clients
Unix client tools for accessing xenstore
gsfyrakis/testvm-idl
Interface description for the Xen test VM
gsfyrakis/hubpress.io
A web application to build your blog on GitHub
gsfyrakis/mirage-decks
These are the MirageOS slide decks, written as a self-hosting unikernel
gsfyrakis/mirage-net-xen
Xen Netfront ethernet device driver for Mirage