Pre-version 0.3beta by Doomsk · Pull Request #76 · hhat-lang/hhat_lang

Doomsk · 2025-11-27T10:54:23Z

Introducing the pre-version 0.3beta

Its goals include:

Add all essential and minimal structure and logic for the H-hat project to be created, compiled and executed (according to current Heather dialect, available low level quantum languages and target backends)
Add documentation for the website
Add code documentation (as README.md files across the folders)
Add tests for checking:
- language features
- overall project workflow execution
- proper handling errors for different levels (language development internals, dialect syntax, code logic)

* new start to match main and this branch Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more documentation Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more documentation Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix mkdocs ci Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more doc pages Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add TODOs, docs introductions, mike versioning, codes fix here and there Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more docs Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix small typo Signed-off-by: Doomsk <eduardo.maschio@theqube.io> --------- Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

* new start to match main and this branch Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more documentation Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more documentation Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix mkdocs ci Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more doc pages Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add TODOs, docs introductions, mike versioning, codes fix here and there Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more docs Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix small typo Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add docs build from main branch Signed-off-by: Doomsk <eduardo.maschio@theqube.io> --------- Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

* new start to match main and this branch Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more documentation Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more documentation Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix mkdocs ci Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more doc pages Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add TODOs, docs introductions, mike versioning, codes fix here and there Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more docs Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix small typo Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add docs build from main branch Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more docs descriptions, pre-commit config improve heap memory logic and Heather dialect grammar (in progress) Signed-off-by: Doomsk <eduardo.maschio@theqube.io> --------- Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

* new start to match main and this branch Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more documentation Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more documentation Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix mkdocs ci Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more doc pages Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add TODOs, docs introductions, mike versioning, codes fix here and there Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more docs Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix small typo Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add docs build from main branch Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more docs descriptions, pre-commit config improve heap memory logic and Heather dialect grammar (in progress) Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add instructions docs improve docs overall Signed-off-by: Doomsk <eduardo.maschio@theqube.io> --------- Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

* add fresh new structure * add memblock and tests Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more code Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * improve memory block logic and structure Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * improve test Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * include data and type container Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * include data and type container Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * new start to match main and this branch Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more documentation Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more documentation Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix mkdocs ci Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more doc pages Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add TODOs, docs introductions, mike versioning, codes fix here and there Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more docs Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix small typo Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add docs build from main branch Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add more docs descriptions, pre-commit config improve heap memory logic and Heather dialect grammar (in progress) Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add instructions docs improve docs overall Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add logo and favicon Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * restart some rust codebase Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * restart some rust codebase Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix pre-commit Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add github actions workflows for lint and tests Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix pre-commit and pytest Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix pre-commit and pytest Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix pre-commit location Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * remove netqasm for now Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix pre-commit and pytest actions Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix pre-commit action Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix pytest action Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix pytest action Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix working directory for github actions Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * add qiskit-aer dependency Signed-off-by: Doomsk <eduardo.maschio@theqube.io> --------- Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * fix ast code add Heather AST parsing visitor Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * small fix Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * small fix Signed-off-by: Doomsk <eduardo.maschio@theqube.io> --------- Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

@redim

* Add QNez instruction and update LowLeveQLang for OpenQASM v2.0 support * reformat for pre-commit * fix mypy exit error * Add QInstrFlag to manage instruction behavior and update QNez for argument generation * Add skip_gen flag to conditionally generate arguments in gen_instrs method * QNez: Update boolean handling for mask values in instruction processing * Update argument in test for QNez instruction from '@redim' to '@Not'

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

# Conflicts: # python/src/hhat_lang/low_level/quantum_lang/openqasm/v2/qlang.py # python/tests/lowlevel/qlang/openqasm/v2/test_lowlevelqlang.py

add visitor ir test visitor ir Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

implement IR base classes to inherit from hhat_lang.core Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

…parser and evaluator Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

add function importer improve variables, memory stack, heap, and symbol tables finish IR parsing visitor improve grammar fix create new file on project Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

improve IR logic with symbol tables and ref tables add enum data structure (wip) improve IR visitor Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

(wip) improve IR visitor Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

…nd functions Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

improve other codes to utilize IR graph logic (wip) implement IR visitor with IR graph Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

add PEG grammar in python for faster parsing fix type and function imports, ref tables fix IR visitor Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

(wip) big cleanup, big refactor Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

big cleanup, big refactor Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

…, mul, div, pow Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

# Conflicts: # .github/workflows/ci.yml # README.md # docs/CNAME # docs/TODOs.md # docs/core/index.md # docs/dialects/creation.md # docs/dialects/heather/current_syntax.md # docs/dialects/heather/heather_syntax.md # docs/dialects/heather/index.md # docs/index.md # docs/python/python_guide.md # docs/running_hhat.md # docs/stylesheets/extra.css # docs/toolchain.md # mkdocs.yml # python/README.md # python/pyproject.toml # python/src/hhat_lang/core/code/instructions.py # python/src/hhat_lang/core/code/utils.py # python/src/hhat_lang/core/data/core.py # python/src/hhat_lang/core/data/utils.py # python/src/hhat_lang/core/data/variable.py # python/src/hhat_lang/core/error_handlers/errors.py # python/src/hhat_lang/core/execution/abstract_base.py # python/src/hhat_lang/core/execution/abstract_program.py # python/src/hhat_lang/core/lowlevel/abstract_qlang.py # python/src/hhat_lang/core/memory/core.py # python/src/hhat_lang/core/types/__init__.py # python/src/hhat_lang/core/types/abstract_base.py # python/src/hhat_lang/core/types/core.py # python/src/hhat_lang/core/types/resolve_sizes.py # python/src/hhat_lang/core/utils.py # python/src/hhat_lang/dialects/heather/grammar/grammar.peg # python/src/hhat_lang/low_level/quantum_lang/openqasm/v2/__init__.py # python/src/hhat_lang/low_level/quantum_lang/openqasm/v2/instructions.py # python/src/hhat_lang/low_level/quantum_lang/openqasm/v2/qlang.py # python/src/hhat_lang/low_level/target_backend/qiskit/openqasm/code_executor.py # python/src/hhat_lang/toolchain/project/new.py # python/tests/core/test_type_ds.py # python/tests/dialects/heather/parsing/ex_fn01.hat # python/tests/dialects/heather/parsing/ex_fn02.hat # python/tests/dialects/heather/parsing/ex_main02.hat

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

fix Heather's quantum program.py Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

fix ci workflow Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

…n_fns

(wip) add metafn grammar and functionality --new function constructors (wip) add metamod grammar fix and refactor memory, ir, ir visitor (wip), functions, types, symbol table (wip), ir builder (wip) to account for changes in the H-hat engine Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

(wip) add metafn grammar and functionality --new function constructors (wip) add metamod grammar fix and refactor memory, ir, ir visitor (wip), functions, types, symbol table (wip), ir builder (wip) to account for changes in the H-hat engine (wip) config logic for executor to run using the correct data Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

(wip) cast system: - add conversion functions for built-in types - transforming functions - improve cast operators Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

(wip) add project settings data handlers Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

(wip) add project settings data handlers (wip) add README descriptions (wip) add auto import of built-in types and functions improved cli code Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

refactor built-in functions structure and workflow (wip) add quantum program logic with casting operation (wip) add project settings data handlers (wip) add README descriptions (wip) add auto import of built-in types and functions improved cli code Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

* (wip) add new data type core container structure and logic (wip) add new variable core structure and logic Signed-off-by: Doomsk <eduardo.maschio@theqube.io> * (wip) add new data type core container structure and logic (wip) add new variable core structure and logic Signed-off-by: Doomsk <eduardo.maschio@hhat-lang.org> * refactor type definition structure and logic refactor symbol, literal, composite objects definitions Signed-off-by: Doomsk <eduardo.maschio@hhat-lang.org> * (wip) data and types Signed-off-by: Doomsk <eduardo.maschio@hhat-lang.org> * fix ir parsing and ir graph generation fix ir parsing Signed-off-by: Doomsk <eduardo.maschio@hhat-lang.org> --------- Signed-off-by: Doomsk <eduardo.maschio@theqube.io> Signed-off-by: Doomsk <eduardo.maschio@hhat-lang.org>

Doomsk and others added 30 commits May 13, 2025 23:02

Update issue templates

069c3e3

Update issue templates

a9cfb19

[IMPL] @Not instruction for OpenQASM v2.0 #38 (#50)

8e0a483

Add cli with typer for toolchain.project for Issue #39 (#56)

b73e3f5

small fix

0552971

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

import types from the src/hat_types/ directory (#59)

66e8cef

add new idea for IR structure and logic

1a23ff9

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

add new parsing to IR

a6662b5

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Merge branch 'main' into dev/python_impl/ir_parsing

8a81743

# Conflicts: # python/src/hhat_lang/low_level/quantum_lang/openqasm/v2/qlang.py # python/tests/lowlevel/qlang/openqasm/v2/test_lowlevelqlang.py

improve ir, types

d1af3b0

add visitor ir test visitor ir Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

add new IR to test parsing feasibility

af62d25

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Add author in pyproject.toml (#65)

bc1b98a

improve code around new IR logic

5d05603

implement IR base classes to inherit from hhat_lang.core Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

introduce abstract interpreter class to hold H-hat dialects-specific …

7b25d67

…parser and evaluator Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

implement big changes on type importer

f568943

add function importer improve variables, memory stack, heap, and symbol tables finish IR parsing visitor improve grammar fix create new file on project Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

(wip) implement IR graph

5d94d78

improve IR logic with symbol tables and ref tables add enum data structure (wip) improve IR visitor Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

(wip) implement IR graph

83e56e9

(wip) improve IR visitor Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

handling IR to build IRGraph, insert and retrieve IR modules, types a…

6aac37f

…nd functions Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

implement IR graph structure, logic and constructors

cc7a0cc

improve other codes to utilize IR graph logic (wip) implement IR visitor with IR graph Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

implement IR graph

d16323b

add PEG grammar in python for faster parsing fix type and function imports, ref tables fix IR visitor Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Update issue templates

4849951

(wip) big cleanup, big refactor

a436301

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

(wip) fix mypy

65fb4e5

(wip) big cleanup, big refactor Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Doomsk and others added 18 commits August 25, 2025 16:57

fix mypy

d247523

big cleanup, big refactor Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

fix file creation during pytest

6d6eb00

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

fix folders handling on pytest

7093442

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Merge branch 'main' into dev/python_impl/ir_parsing

8208e3d

(wip) functions definitions

9a794f9

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

add basic built-in functions for int and float types: print, add, sub…

78f04e6

…, mul, div, pow Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

save diagram

28e4e17

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

add dev/python branch to workflow checks

995040a

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

fix ci to include dev/python and dev/rust

fb002cf

fix Heather's quantum program.py Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

delete old tests

327cfcf

fix ci workflow Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

fix ci workflow

d50c456

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

fix mypy

bcd9a28

Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Merge branch 'dev/python_impl/ir_parsing' into dev/python_impl/builti…

f824ea3

…n_fns

add new blog section on website documentation

524c5d2

(wip) cast system: - add conversion functions for built-in types - transforming functions - improve cast operators Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

(wip) add quantum program logic with casting operation

c5abdf0

(wip) add project settings data handlers Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Doomsk self-assigned this Nov 27, 2025

Doomsk added python Pull requests that update Python code implementation Implementing according to docs TODOs page roadmap labels Nov 27, 2025

Doomsk added 2 commits December 4, 2025 16:41

(wip) add quantum program logic with casting operation

d0e3f48

(wip) add project settings data handlers (wip) add README descriptions (wip) add auto import of built-in types and functions improved cli code Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

(wip) add quantum program logic with casting operation

506f4c8

(wip) add project settings data handlers (wip) add README descriptions (wip) add auto import of built-in types and functions improved cli code Signed-off-by: Doomsk <eduardo.maschio@theqube.io>

Doomsk added this to the pre-version 0.3beta milestone Dec 5, 2025

Doomsk added 2 commits December 10, 2025 22:23

Doomsk added this to H-hat lang kanban May 7, 2026

github-project-automation Bot moved this to Backlog in H-hat lang kanban May 7, 2026

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Pre-version 0.3beta#76

Pre-version 0.3beta#76
Doomsk wants to merge 52 commits into
dev/pythonfrom
dev/python_impl/pre_0.3beta

Doomsk commented Nov 27, 2025

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

Conversation

Doomsk commented Nov 27, 2025

Introducing the pre-version 0.3beta

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants