Fausto Saporito's repositories
macsyma-addon
Addons for Macsyma
ada-quantum
Libquantum 1.1.1 ported in ADA
ansible-examples
A few starter examples of ansible playbooks, to show features and how they work together. See http://galaxy.ansible.com for example roles from the Ansible community for deploying many popular applications.
CL-LIBQUANTUM-DEV
Development brach of Common LISP version of LIBQUANTUM
docker-tomcat8
Ubuntu 14.04, Oracle JDK 8 and Tomcat 8 based docker container.
dshop
Origin Dshop - launch your own decentralized store
gxemul
Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features
its
Incompatible Timesharing System
kubernetes-vagrant-coreos-cluster
Kubernetes cluster (for testing purposes) made easy with Vagrant and CoreOS.
lisp500
A mostly-joking implementation of a lisp in just 500 lines of C.
MBuild
Build system for Mezzano
minilisp
A readable lisp in less than 1k lines of C
qfourier
Python script to create QFT in RevLib format (REAL)
QMDD
QMDD with Julia backend, based on QMDDpackage written in C++
SCH
bootstrap scheme (from P. Michaux) with some adaptations.
SKCF2008
Solovay Kitaev F2008