Ioannis Sfyrakis's repositories
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.
lammps
Public development project of the LAMMPS MD software package
TECOmate
Tools for the Enforcement of Smart Contracts Online with MAthematics and TEchnology
TaLoS
Efficient TLS termination inside Intel SGX enclaves for existing applications
tommyds
A C library of hashtables and tries designed to store objects with high performance
opensgx
OpenSGX
tezos
A self-amending cryptographic ledger
sanctum
Minimal RISC Extensions for Isolated Execution
ppx_deriving
Type-driven code generation for OCaml >=4.02
GoBooks
List of Golang books
ppx_tools
Tools for authors of ppx rewriters
omniboard
Pure ruby library for turning OmniFocus project list into a static html kanban board
examples
All the examples in Real World OCaml
sedlex
An OCaml lexer generator for Unicode
xen-rust
Rust running in Xen Mini-OS
mirage-flask-xen
OCaml bindings to Xen XSM/Flask hypercalls
ocaml-xenstore
A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.
ocaml-vchan
Pure OCaml implementation of the "vchan" shared-memory communication protocol
automatic-octo-computing-machine
OCaml linter for the Atom text editor.
dotfiles
:wrench: .files, including ~/.osx — sensible hacker defaults for OS X
iperf
iperf3: A TCP, UDP, and SCTP network bandwidth measurement tool
byte-unixbench
Automatically exported from code.google.com/p/byte-unixbench
httperf
The httperf HTTP load generator
ocaml-gnt
OCaml bindings to the Xen grant tables libraries