Pinned 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
shinnar.github.io
shinnar's Repositories
shinnar/ACE-RISCV
Assured Confidential Execution (ACE) for RISC-V
shinnar/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.
shinnar/coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
shinnar/jsonschema
An implementation of the JSON Schema specification for Python
shinnar/lale
Library for Semi-Automated Data Science
shinnar/lale-gpl
An extension of Lale (https://github.com/IBM/lale) with gpl dependencies.
shinnar/libphonenumber
Google's common Java, C++ and JavaScript library for parsing, formatting, and validating international phone numbers.
shinnar/openwhisk-project
A tool for managing OpenWhisk project
shinnar/scikit-learn
scikit-learn: machine learning in Python
shinnar/shinnar.github.io
shinnar/TensorFlow-Examples
TensorFlow Tutorial and Examples for Beginners with Latest APIs