Beast code in Giters

shinnar's starred repositories

zeppelin

Web-based notebook that enables data-driven, interactive data analytics and collaborative documents with SQL, Scala and more.

Language:JavaApache-2.06329 3200

AIF360

A comprehensive set of fairness metrics for datasets and machine learning models, explanations for these metrics, and algorithms to mitigate bias in datasets and models.

Language:PythonApache-2.02366 90 249

AIX360

Interpretability and explainability of data and machine learning models

Language:PythonApache-2.01568 57 76

lale

Library for Semi-Automated Data Science

Language:PythonApache-2.0325 23 61

jsonsubschema

Tool for checking whether a JSON schema is a subschema of another JSON schema.

Language:PythonApache-2.083 8 10

qcert

Compilation and Verification of Data-Centric Languages

Language:CoqApache-2.055 6 106

ACE-RISCV

Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified and auditable security monitor.

Language:RustApache-2.025 50

dbcert

Runtime and runner for a compiler from SQL to JavaScript

Language:OCamlApache-2.06 40