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/conch
conch (Con-tract Ch-ecker) is a software for performing contract compliance checking.
gsfyrakis/CCCEnforcer
gsfyrakis/TECOmate
Tools for the Enforcement of Smart Contracts Online with MAthematics and TEchnology
gsfyrakis/Autobench
gsfyrakis/automatic-octo-computing-machine
OCaml linter for the Atom text editor.
gsfyrakis/byte-unixbench
Automatically exported from code.google.com/p/byte-unixbench
gsfyrakis/CCC-microservice
gsfyrakis/dotfiles
:wrench: .files, including ~/.osx — sensible hacker defaults for OS X
gsfyrakis/examples
All the examples in Real World OCaml
gsfyrakis/GoBooks
List of Golang books
gsfyrakis/gsfyrakis.github.com
gsfyrakis/httperf
The httperf HTTP load generator
gsfyrakis/iFogSim
The iFogSimToolkit (with its new release iFogSim2) for Modeling and Simulation of Resource Management Techniques in Internet of Things, Edge and Fog Computing Environments. In the new release Mobili Management, Microservice Management, and Dynamic Clustering mechanisms are added as new features.
gsfyrakis/iperf
iperf3: A TCP, UDP, and SCTP network bandwidth measurement tool
gsfyrakis/lammps
Public development project of the LAMMPS MD software package
gsfyrakis/mirage-flask-xen
OCaml bindings to Xen XSM/Flask hypercalls
gsfyrakis/ocaml-gnt
OCaml bindings to the Xen grant tables libraries
gsfyrakis/ocaml-vchan
Pure OCaml implementation of the "vchan" shared-memory communication protocol
gsfyrakis/ocaml-xenstore
A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.
gsfyrakis/omniboard
Pure ruby library for turning OmniFocus project list into a static html kanban board
gsfyrakis/opensgx
OpenSGX
gsfyrakis/OS-X-Security-and-Privacy-Guide
gsfyrakis/ppx_deriving
Type-driven code generation for OCaml >=4.02
gsfyrakis/ppx_tools
Tools for authors of ppx rewriters
gsfyrakis/sanctum
Minimal RISC Extensions for Isolated Execution
gsfyrakis/sedlex
An OCaml lexer generator for Unicode
gsfyrakis/TaLoS
Efficient TLS termination inside Intel SGX enclaves for existing applications
gsfyrakis/tezos
A self-amending cryptographic ledger
gsfyrakis/tommyds
A C library of hashtables and tries designed to store objects with high performance
gsfyrakis/xen-rust
Rust running in Xen Mini-OS