Popular repositories Loading

1. cmake-example cmake-example Public

   Forked from bast/cmake-example

   Example project which demonstrates various CMake features.

   CMake

2. azias azias Public

   Config files for my GitHub profile.

3. gatsby-starter-event-calendar gatsby-starter-event-calendar Public

   A customisable calendar event starter for Gatsby integrated with Google Spreadsheet.

   TypeScript

4. ML-For-Beginners ML-For-Beginners Public

   Forked from microsoft/ML-For-Beginners

   12 weeks, 25 lessons, 50 quizzes, classic Machine Learning for all

   Jupyter Notebook

5. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

6. Z3Prover-doc Z3Prover-doc Public

   Forked from Z3Prover/doc

   Documentation

   HTML