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,116 @@
+# Metadata for the actions workflow
+name: CI
+on:
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "*" ]
+
+# Environment variables that will be set on all runners
+env:
+  CI_DEVSHELL: "nix develop '.#ci'"
+  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: Restore Cache
+        uses: actions/cache@v3
+        continue-on-error: true
+        with:
+          path: |
+            /nix/store
+            target/
+          key: nix-${{ hashFiles('**/flake.lock') }}-build-rust-${{ hashFiles('**/Cargo.lock') }}
+          restore-keys: nix-${{ hashFiles('**/flake.lock') }}-build-rust-${{ hashFiles('**/Cargo.lock') }}
+      - name: Install Lix
+        shell: "bash"
+        run: |
+          curl -sSf -L https://install.lix.systems/lix | sh -s -- install --no-confirm
+      - name: Build Lix Dependencies
+        shell: "bash"
+        run: |
+          nix build
+      - name: Build Tests
+        shell: "bash"
+        run: |
+          ${{ env.CI_DEVSHELL }} --command cargo test --all-targets --no-run
+      - name: Run Tests
+        shell: "bash"
+        run: |
+          ${{ env.CI_DEVSHELL }} --command cargo test --all-targets -- --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
+
+  # This job checks the code formatting.
+#  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,6 @@
+# Rust
+/target
+
+# Tooling
+.idea/
+result