sylvarant's repositories
secure-ml-compiler
A ML compiler that secures ML's abstractions at the low-level
moduleml-witness-algorithm
Algorithm to prove low-level reflection
binance-history
Binance Trade History in OCaml
secure-abstract-machine
A Secure Abstract Machine for ML
android-ci
A docker image for building Android apps. Supports multiple SDK Build Tools, and gitlfs
blog-app-react-redux-es-rabbit-docker
docker, react-redux, mysql/elasticsearch for full text, rabbitmq and spring integration for messaging; spring boot for backend
build-openssl-android
Builds openssl 1.1.0h with android ndk r17.
commandline-portfolio
A CLI for tracking a portfolio of Bloomberg quotes
Compress-Brotli
Perl6 support for Brotli Encoding
dice-game
A dice game simulation in c
doc
Perl 6 documentation (tools and docs)
dynamodb-geo-testing
test dynamo db geospatial querying
ecosystem
Perl 6 ecosystem -- modules and more
fabric
Read-only mirror of https://gerrit.hyperledger.org/r/#/admin/projects/fabric
fortran-matrices
Matrix computations in fortran as part of a class assignment
gmp
A prebuilt GMP module for Android
learn-to-hash
Neural LSH [ICLR 2020] - Using supervised learning to produce better space partitions for fast nearest neighbor search.
libfqfft
C++ library for Fast Fourier Transforms in finite fields
mcl
a portable and fast pairing-based cryptography library
ocaml-binance
Binance exchange API
rapid-perl6
Rapid Perl6 is Vagrant environment for the Perl 6 programming language.
scala-networking
scala social networking simulator
scipy
Scipy library main repository