fpoli Goto Github PK

abstat

Abstract-interpretation-based Static Analyzer for the While language

astar

Bots for the Vindinium programming challenge

cargo-diff-tools

Hide cargo/clippy warnings that are not in a `git diff`

compiletest-rs

An extraction of the compiletest utility from the Rust compiler

ctlmc

CTL model checker, implemented using BDDs (JavaBDD library)

dafny

Dafny is a verification-aware programming language

diff-report-rs

Only report cargo/clippy warnings related to the lines of a git diff.

docker-invenio

docker-skype-pulseaudio

Run Skype inside an isolated Docker container on your Linux desktop! See its sights via X11 forwarding! Hear its sounds through the magic of PulseAudio and SSH tunnels!

drone

Drone is a Continuous Integration platform built on Docker, written in Go

duchess

Experiments with Java-Rust interop

firmware-tools

Useful scripts for microcontroller programming

genome-track

Bioinformatics CLI tool to generate WIG tracks from SAM/BAM files

gicisky-tag

Python tools to write an image to a Gicisky tag

inspire

Official mirror of INSPIRE overlay (http://invenio-software.org/repo/inspire).

invenio

Invenio digital library software

invenio-devscripts

A collection of scripts useful for Invenio development

invenio-docker

Docker images for drone builds

jni-rs

Rust bindings to the JNI

kaggle-cooking

Kaggle "What's cooking" challenge.

lalrpop

LR(1) parser generator for Rust

lambda

Lambda Machine in Haskell

newton

Simulazione interattiva di corpi sotto l'azione della forza di attrazione gravitazionale reciproca

node-gremlin-run

Execute a single Gremlin query from the command line, without truncating the output

npm-bomb

NPM package with a lot of dependencies.

passivesniffer

Purely passive network analyzer for private LANs

pic-robot

Source code for a self-balancing robot

polonius

Defines the Rust borrow checker.

python-asdl

ASDL parser taken from CPython 3.5

python-astexport

Export Python AST to JSON