Pinned Loading

1. MyLogicProver MyLogicProver Public

   Algorithm using Aristotelian logic to automate proofs of a conclusion given a set of premises.

   JavaScript

2. RydeBikes RydeBikes Public

   Ryde Bikes - A peer to peer bike sharing solution that is redesigned for college campuses using a seamless bluetooth, self-locking, anti theft lock accompanied by a mobile app

   Ruby 1

3. serverless serverless Public

   Forked from serverless/serverless

   Serverless Framework – Build web, mobile and IoT applications with serverless architectures using AWS Lambda, Azure Functions, Google CloudFunctions & more! –

   JavaScript

4. h2o-3 h2o-3 Public

   Forked from h2oai/h2o-3

   Open Source Fast Scalable Machine Learning API For Smarter Applications (Deep Learning, Gradient Boosting, Random Forest, Generalized Linear Modeling (Logistic Regression, Elastic Net), K-Means, PC…

   Java

5. scala-spades scala-spades Public

   Spades game written in Scala

   Scala

6. delphisbe delphisbe Public

   Forked from delphis-inc/delphisbe

   Backend monolith for delphis

   Go