• Proof-Code Cogeneration

    Isabelle 77 13 1 issue needs help Updated Aug 17, 2018
  • Smart Grid Simulation Library (C++14)

    C++ 15 7 Apache-2.0 Updated Aug 17, 2018
  • Nonparametric Active Sampling

    Python 9 3 Apache-2.0 Updated Aug 10, 2018
  • Python module for airport codes

    Python 3 1 Updated May 30, 2018
  • Python client for the Serene Data Integration software

    Python 1 1 Updated Apr 29, 2018
  • development version of seL4 proofs

    Isabelle 5 1 Updated Mar 28, 2018
  • Distributed Markov Chain Monte Carlo

    C++ 17 7 Updated Feb 2, 2018
  • Probabilistic multi-sensor geophysical inversions on clusters

    C++ 5 7 Updated Dec 18, 2017
  • Gaussian processes with general nonlinear likelihoods using the unscented transform or Taylor series linearisation.

    Python 5 2 Updated Dec 4, 2017
  • GEM

    Forked from palash1992/GEM
    Python 118 BSD-3-Clause Updated Nov 30, 2017
  • A tool to work out Typical Meteorological Year (TMY) from ground weather station observations and satellite solar irradiance data.

    Java 5 Apache-2.0 Updated Nov 17, 2017
  • Geodetic calculations including Vincenty and Great Circle using a Latitude and Longitude pair.

    Haskell 6 3 Updated Nov 10, 2017
  • Benchmark to evaluate schema matching approaches

    Python 1 Updated Nov 9, 2017
  • Karma DSL for semantic labelling

    Julia 4 Apache-2.0 Updated Nov 9, 2017
  • OpenNE

    Forked from thunlp/OpenNE

    An Open-Source Package for Network Embedding (NE)

    Python 172 MIT Updated Nov 5, 2017
  • Python data integration module to ingest network data into Solr

    Python Updated Oct 9, 2017
  • Pure-functional random value generation

    Scala 114 17 Updated Oct 8, 2017
  • A library of scalable Bayesian generalised linear models with fancy features

    Python 39 10 Apache-2.0 Updated Sep 7, 2017
  • Serene Data Integration Platform

    HTML 2 1 Apache-2.0 Updated Aug 20, 2017
  • Information Integration Tool

    Java 144 Apache-2.0 Updated Aug 15, 2017
  • 4 1 Updated Aug 15, 2017
  • A data-type representing digits 0-9 and other combinations

    1 1 Updated Aug 9, 2017
  • Visualization of document term-vectors using bh_tsne

    C++ Updated May 22, 2017
  • development version of the seL4 kernel

    C 2 Updated Mar 29, 2017
  • Java 8 5 GPL-3.0 Updated Mar 24, 2017
  • Testing compatibility between python-paillier, javallier and paillier.js

    Jupyter Notebook Apache-2.0 Updated Feb 3, 2017
  • Non-empty text

    Haskell 3 1 Updated Nov 30, 2016
  • XSharpX is a general library for functional programming using .NET languages.

    C# 31 7 Updated Nov 28, 2016
  • C++ worker interface to Stateline

    C++ 1 1 Updated Aug 25, 2016
  • Plugin for Cesium web-based virtual globe software to support the Oculus VR headset

    JavaScript 57 28 Updated May 30, 2016