Skip to content

Improve the project organization - #7

Merged
habedi merged 9 commits into
mainfrom
develop
Oct 12, 2026
Merged

Improve the project organization#7
habedi merged 9 commits into
mainfrom
develop

Conversation

@habedi

@habedi habedi commented Oct 4, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner
  • Updated the Python dependencies and improved the Python tooling.
  • Updated the Nix environment setup.
  • Shortened or removed unnecessary comments
  • Switched to Zig and Rust overlays in the flake configuration.
  • Shortened the AGENTS.md and the main README.md files.

@habedi habedi self-assigned this Oct 4, 2026
@habedi habedi added bug Something isn't working documentation Improvements or additions to documentation enhancement New feature or request labels Oct 4, 2026
@habedi habedi changed the title WIP Improve project organization Oct 12, 2026
@habedi habedi changed the title Improve project organization Improve the project organization Oct 12, 2026
@habedi
habedi merged commit 13c022a into main Oct 12, 2026
7 checks passed
@habedi
habedi deleted the develop branch October 12, 2026 20:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@habedi habedi

Labels

bug Something isn't working documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@habedi