NICTA (Data61)

scoobi Public
A Scala productivity framework for Hadoop.

Scala 485 99 19 4 Updated Feb 1, 2022
termvect-viz Public
Visualization of document term-vectors using bh_tsne

C++ 0 0 0 3 Updated Jun 7, 2021
seL4 Public
development version of the seL4 kernel

C 2 1 0 0 Updated Jun 7, 2020
verification-manifest Public
Manifests for the collection of verification repositories

0 12 0 0 Updated Apr 30, 2020
l4v Public
development version of seL4 proofs

Isabelle 6 1 1 0 Updated Apr 30, 2020
pyairports Public
Python module for airport codes

Python 10 17 3 0 Updated Nov 18, 2019
SmartGridToolbox Public
Smart Grid Simulation Library (C++14)

25 9 18 0 Updated Aug 2, 2019
t3as-pat-clas Public
Web services and associated functionality for doing Patent Classification Search and Lookups of the CPC, IPC, and USPC patent classification systems.

HTML 12 GPL-3.0 2 1 1 Updated Feb 6, 2019
dora Public
Nonparametric Active Sampling

Python 11 Apache-2.0 3 7 0 Updated Aug 10, 2018
serene-python-client Public
Python client for the Serene Data Integration software

Python 5 5 2 0 Updated Apr 29, 2018

Popular repositories