shinnar's repositories
ACE-RISCV
Assured Confidential Execution (ACE) for RISC-V
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
jsonschema
An implementation of the JSON Schema specification for Python
lale
Library for Semi-Automated Data Science
lale-gpl
An extension of Lale (https://github.com/IBM/lale) with gpl dependencies.
libphonenumber
Google's common Java, C++ and JavaScript library for parsing, formatting, and validating international phone numbers.
openwhisk-project
A tool for managing OpenWhisk project
scikit-learn
scikit-learn: machine learning in Python
TensorFlow-Examples
TensorFlow Tutorial and Examples for Beginners with Latest APIs