ximarx Goto Github PK

7to5

Convert PHP 7 code to PHP 5 code

android

n7root, n7ui and pinget

asd

awscli-local

💲 Thin wrapper around the "aws" command line interface for use with LocalStack

bluebird

Bluebird is a full featured promise library with unmatched performance.

breeze.js

Breeze for JavaScript clients

breeze.js.labs

OFFICIAL Breeze.js Labs package of extensions and utilities for Breeze.js client apps.

calcolo-numerico

cfn-python-lint

CloudFormation Linter

clock-mock

A PHP library for mocking date and time in tests

compose

Define and run multi-container applications with Docker

containers

Bitnami container images

docker-unison

Lightweight Docker unison server based on alpine linux for file synchronization

docsify

🃏 A magical documentation site generator.

fondamenti-informatica

Strutture dati e esercizi in Haskell

icse-clips

Test in clips per la realizzazione di sistemi esperti per il corso di ingegneria della conoscenza (uniba)

icse-ie

Inference Engine in python per corso di ingegneria della conoscenza (uniba)

icse-ps

Production System

icse-test

java-libpst

A library to read PST files with java, without need for external libraries.

jenkins-x-versions

contains the consistent set of versions of packages and helm charts for use with Jenkins X and its associated Apps

jx-docs

Source code used to build the Jenkins X documentation and website

leapcast

ChromeCast emulation app for any device

map-inbank

Progetto InBank per il corso di Metodi Avanzati di Programmazione (2006/07) basato su RMI

myclips

A Rete-based, CLIPS-clone, inference engine in Python.

myclips-examples

demo

myclips-javalib

MyCLIPS Java Interface through XMLRPC

myclips-server

HTTP/XMLRPC server module for MyClips: exposes MyClips APIs through an XMLRPC API

ofelia

A docker job scheduler (aka. crontab for docker)

ps3mediaserver

PS3 Media Server is a cross-platform DLNA-compliant UPnP Media Server. Originally written to support the PlayStation 3, PS3 Media Server has been expanded to support a range of other media renderers, including smartphones, televisions, music players and more.