Set up the repository

This commit performs initial repository setup, including adding a
README, basic project structure, CI, and other necessary things.

.github/CODEOWNERS

@@ -0,0 +1,2 @@
+# General Code
+* @reilabs/starkware

.github/ISSUE_TEMPLATE/bug_report.md

@@ -0,0 +1,24 @@
+---
+name: Bug report
+about: Found something wrong? Let us know.
+title: "[BUG] "
+labels: bug
+assignees: ''
+---
+
+# Describe the Bug
+
+A clear and concise description of what the bug is.
+
+# To Reproduce
+
+Steps to reproduce the behavior:
+
+1. Go to '...'
+2. Click on '....'
+3. Scroll down to '....'
+4. See error
+
+# Expected Behaviour
+
+A clear and concise description of what you expected to happen.

.github/ISSUE_TEMPLATE/feature.md

@@ -0,0 +1,15 @@
+---
+name: Feature
+about: A new feature to be added.
+title: "[FEAT] "
+labels: enhancement
+assignees: ''
+---
+
+# Description
+
+What is this about?
+
+# Spec
+
+Give details.

.github/ISSUE_TEMPLATE/performance.md

@@ -0,0 +1,15 @@
+---
+name: Performance
+about: An opportunity for performance improvement or other performance-related work.
+title: "[PERF] "
+labels: enhancement
+assignees: ''
+---
+
+# Description
+
+What is this about?
+
+# Spec
+
+Give details.

.github/ISSUE_TEMPLATE/task.md

@@ -0,0 +1,15 @@
+---
+name: Task
+about: A development task to be done.
+title: "[TASK] "
+labels: enhancement
+assignees: ''
+---
+
+# Description
+
+What is this about?
+
+# Spec
+
+Give details.

.github/PULL_REQUEST_TEMPLATE.md

@@ -0,0 +1,12 @@
+# Summary
+
+<!-- What is this PR about? -->
+
+# Details
+
+<!-- What do you want the reviewers to focus on? Anything important that they should know? -->
+
+# Checklist
+
+- [ ] Code is formatted by Rustfmt.
+- [ ] Documentation has been updated if necessary.

.github/workflows/ci.yml

@@ -0,0 +1,128 @@
+# Metadata for the actions workflow
+name: CI
+on:
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "*" ]
+
+# Environment variables that will be set on all runners
+env:
+  RUST_VERSION: 1.81.0       # Should agree with Cargo.toml
+  CARGO_TERM_COLOR: always   # Always colour Cargo's output.
+  CARGO_INCREMENTAL: 0       # Always run without incremental builds on CI.
+  CARGO_PROFILE_DEV_DEBUG: 0 # Don't embed debug info even though the build is a dev build.
+
+# Configuration for individual jobs
+jobs:
+  # This job is responsible for running the unit and integration tests.
+  test:
+    name: "Test"
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [ "ubuntu-latest", "macos-latest" ]
+    runs-on: ${{ matrix.os }}
+    steps:
+      - name: Checkout Code
+        uses: actions/checkout@v3
+      - name: Install rust
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: ${{ env.RUST_VERSION }}
+          override: true
+      - name: Restore Cache
+        uses: actions/cache@v3
+        continue-on-error: true
+        with:
+          path: |
+            ~/.cargo/registry/index/
+            ~/.cargo/registry/cache/
+            ~/.cargo/git/db/
+            target/
+          key: ${{ env.RUST_VERSION }}-cargo-test-${{ hashFiles('**/Cargo.lock') }}
+          restore-keys: ${{ env.RUST_VERSION }}-cargo-test-
+      - name: Build Tests
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+          args: --all-targets --no-run
+      # Unfortunately `--all-targets` doesn't handle the doctests. See <https://github.com/rust-lang/cargo/issues/6669>.
+      # To that end, we build them separately and just pass `--help` to prevent them running in this step.
+      - name: Build Doctests
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+          args: --doc -- --help
+      - name: Run Tests
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+          args: --all-targets -- --nocapture
+      - name: Run Doctests
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+          args: --doc -- --nocapture
+
+  # This job runs the linter and puts any lint results inline in the PR for easy visibility.
+  lint:
+    name: "Lint"
+    runs-on: "ubuntu-latest"
+    steps:
+      - name: Checkout Code
+        uses: actions/checkout@v3
+      - name: Install rust
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: ${{ env.RUST_VERSION }}
+          override: true
+          components: clippy
+      - name: Restore Cache
+        uses: actions/cache@v3
+        continue-on-error: true
+        with:
+          path: |
+            ~/.cargo/registry/index/
+            ~/.cargo/registry/cache/
+            ~/.cargo/git/db/
+            target/
+          key: ${{ env.RUST_VERSION }}-cargo-test-${{ hashFiles('**/Cargo.lock') }}
+          restore-keys: ${{ env.RUST_VERSION }}-cargo-test-
+      - name: Lint Code
+        uses: actions-rs/clippy-check@v1
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+          args: --all-targets
+
+  formatting:
+    name: "Check Formatting"
+    runs-on: "ubuntu-latest"
+    steps:
+      - name: Checkout Code
+        uses: actions/checkout@v3
+      - name: Install rust
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: nightly
+          profile: minimal
+          override: true
+          components: rustfmt
+      - name: Restore Cache
+        uses: actions/cache@v3
+        continue-on-error: true
+        with:
+          path: |
+            ~/.cargo/registry/index/
+            ~/.cargo/registry/cache/
+            ~/.cargo/git/db/
+            target/
+          key: ${{ env.RUST_VERSION }}-cargo-test-${{ hashFiles('**/Cargo.lock') }}
+          restore-keys: ${{ env.RUST_VERSION }}-cargo-test-
+      - name: Check Formatting
+        uses: actions-rs/cargo@v1
+        with:
+          command: fmt
+          args: --all -- --check

.gitignore

@@ -0,0 +1,5 @@
+# Rust
+/target
+
+# Tooling
+.idea/