gsfyrakis

conch

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

CCCEnforcer

TECOmate

Tools for the Enforcement of Smart Contracts Online with MAthematics and TEchnology

Autobench

automatic-octo-computing-machine

OCaml linter for the Atom text editor.

byte-unixbench

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

CCC-microservice

dotfiles

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

examples

All the examples in Real World OCaml

GoBooks

List of Golang books

gsfyrakis.github.com

httperf

The httperf HTTP load generator

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.

iperf

iperf3: A TCP, UDP, and SCTP network bandwidth measurement tool

lammps

Public development project of the LAMMPS MD software package

mirage-flask-xen

OCaml bindings to Xen XSM/Flask hypercalls

ocaml-gnt

OCaml bindings to the Xen grant tables libraries

ocaml-vchan

Pure OCaml implementation of the "vchan" shared-memory communication protocol

ocaml-xenstore

A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.

omniboard

Pure ruby library for turning OmniFocus project list into a static html kanban board

opensgx

OpenSGX

OS-X-Security-and-Privacy-Guide

ppx_deriving

Type-driven code generation for OCaml >=4.02

ppx_tools

Tools for authors of ppx rewriters

sanctum

Minimal RISC Extensions for Isolated Execution

sedlex

An OCaml lexer generator for Unicode

TaLoS

Efficient TLS termination inside Intel SGX enclaves for existing applications

tezos

A self-amending cryptographic ledger

tommyds

A C library of hashtables and tries designed to store objects with high performance

xen-rust

Rust running in Xen Mini-OS