lenguyenthedat/dextra-viki-2015
My solution for Dextra Data Science Challenge #43 (Rakuten/Viki) https://challenges.dextra.sg/challenge/43
Public GitHub Catalog
Discovered Sep 25, 2026
lenguyenthedat / bounded-checking-in-ocaml
An OCAML’s Bounded Check library for testing OCAML programs efficiently and automatically. This implementation is a part of my MSc's final year project at the University of Oxford.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#3765796GitHub System ID
lenguyenthedatOrganization / User
PublicVisibility
ActiveCatalog Status
More from lenguyenthedat
lenguyenthedat/dextra-mindef-2015
My solution for Dextra Data Science Challenge #44 (Singapore Ministry of Defense) https://challenges.dextra.sg/challenge/44
lenguyenthedat/scikit-neuralnetwork
Deep neural networks without the learning cliff! A wrapper library compatible with scikit-learn.
lenguyenthedat/aws-redshift-to-rds
A simple command-line tool to copy tables from Amazon Redshift to Amazon RDS (PostgreSQL).