Pinned Loading

1. satsumas.github.io satsumas.github.io Public

   HTML

2. prop prop Public

   Evaluates the validity of arguments in propositional calculus. Useful for verifying logic exercises as part of a mathematics or philosophy course.

   Python 1 1

3. okAPI okAPI Public

   Recipes and Tutorials for Automation & Extension on the CGC and SBPLAT platforms

   Jupyter Notebook 12

4. Prop_website Prop_website Public

   A web application for Prop, built with Flask and Mathquill, deployed with Docker 🐳

   JavaScript

5. tensorflow tensorflow Public

   Forked from tensorflow/tensorflow

   Computation using data flow graphs for scalable machine learning

   C++

6. website website Public

   HTML