trueagi-io/hyperon-experimental

Issues

• assertEqualToResult gives the same result for correct and incorrect pattern in dasgate example

  #653 opened 9 days ago by CICS-Oleg
  3

• Performance + Partitioning of Spaces Question

  #774 opened 18 days ago by nworb999
  6

• How to delay reduction until bindings are ready?

  #659 opened 6 months ago by ngeiswei
  2

• `()` has `%Undefined%` type

  #768 opened a month ago by Necr0x0Der
  1

• Find another name for Atom metatype

  #611 opened 7 months ago by ngeiswei
  0

• Unifying a structure of variables with a structured function name is not disabled

  #642 opened a month ago by ngeiswei
  10

• MeTTa should support single sided matching

  #674 opened 5 months ago by ngeiswei
  17

• cdr-atom in minimal metta is very slow

  #638 opened 2 months ago by ngeiswei
  3

• Change in import &self behavior

  #591 opened 2 months ago by Adam-Vandervorst
  9

• Atom as a return Type

  #648 opened 6 months ago by TeamSPoon
  1

• Type checking for the Symbol meta-type doesn't work properly

  #673 opened 6 months ago by mvpeterson
  1

• Subtraction, union, intersection and unique doesn't work after switching to minimal MeTTa

  #760 opened 2 months ago by vsbogd
  0

• Referential transparency on non-deterministic functions

  #700 opened 4 months ago by AnnelineD
  1

• Documentation is not shows for the operations which are duplicated in Python and Rust stdlib when Python runner is used

  #757 opened 2 months ago by vsbogd
  0

• Build problem (no docker) C extension: conan delegating pybind11 build to cmake which conflicts with pyenv.

  #749 opened 2 months ago by gl-yziquel
  7

• Linking to libssl, libcrypto and libz breaks manylinux compatibility according to PEP-513

  #752 opened 2 months ago by vsbogd
  2

• Release is broken: delocate tool finds inconsistencies in packages under macos-13 and macos-14 GitHub action environments

  #725 opened 3 months ago by vsbogd
  4

• Python 3.12 incompatibility: "ModuleNotFoundError: No module named 'imp'" while building subunit dependency using Conan

  #584 opened 2 months ago by vsbogd
  2

• cargo run --features no_python --bin metta-repl before and after metta-repl

  #748 opened 2 months ago by gl-yziquel
  10

• Have assertEqual support alpha equivalence

  #744 opened 3 months ago by ngeiswei
  5

• get-doc units tests are slow

  #660 opened 2 months ago by vsbogd
  0

• Match operation doesn't report abscense of the first arguement as a error

  #578 opened 2 months ago by vsbogd
  1

• Code doesn't compile without "pkg_mgmt" feature enabled

  #651 opened 3 months ago by vsbogd
  0

• docker build fail

  #721 opened 4 months ago by mjsduncan
  1

• Documenting how to use LLM gate and test_assist.metta

  #710 opened 4 months ago by cargecla1
  2

• pkg_mgmt, Support for git-hosted modules specified with custom revisions &/or tags

  #711 opened 4 months ago by luketpeterson
  0

• C interface does not build

  #703 opened 4 months ago by gl-yziquel
  6

• !(import! &self lib) is not working for python libraries

  #699 opened 4 months ago by besSveta
  7

• Python package version is determined incorrectly in repository forks as "0.1.devX+Y"

  #662 opened 5 months ago by vsbogd
  5

• Type checking doesn't work for tuples.

  #669 opened 6 months ago by vsbogd
  2

• py-atom problem with multiply import

  #664 opened 6 months ago by astroseger
  2

• parse grounded operation is badly implemented

  #655 opened 6 months ago by Necr0x0Der
  5

• AssertEqual[toResult] may analyze difference in detail

  #654 opened 6 months ago by Necr0x0Der
  0

• Change in import behavior for already existing spaces

  #592 opened 8 months ago by Necr0x0Der
  25

• Discussion: subspace nesting ergonomics issues, and guard-rails we can add

  #618 opened 7 months ago by luketpeterson
  3

• (pragma! type-check auto) in standard library slows down the execution

  #639 opened 6 months ago by vsbogd
  0

• The space character is not properly parsed

  #633 opened 7 months ago by ngeiswei
  12

• Overloading over different numbers of arguments not fully supported

  #630 opened 7 months ago by ngeiswei
  2

• Could not parse float: ParseFloatError { kind: Invalid } on loading MeTTa file

  #634 opened 6 months ago by Adam-Vandervorst
  6

• How should MeTTa handle escaped characters such as new line?

  #619 opened 7 months ago by ngeiswei
  2

• Weird bug in car-atom

  #621 opened 7 months ago by ngeiswei
  1

• Minimal MeTTa lazy and, or implementations

  #612 opened 7 months ago by ngeiswei
  4

• Python grounded 1 is equal to grounded True

  #601 opened 7 months ago by vsbogd
  3

• Rust and Python stdlib has different arithmetics division behavior

  #607 opened 7 months ago by vsbogd
  0

• Rust type error when building docker image using Mac ARM

  #599 opened 7 months ago by Rune23
  17

• Hangs on unification

  #589 opened 8 months ago by Adam-Vandervorst
  2

• We need a quotation mechanism that can prevent unification and substitution

  #579 opened 8 months ago by ngeiswei
  5

• MeTTa definitions of stdlib don't work in modules imported by import! function

  #572 opened 8 months ago by vsbogd
  2

• repl can't find hyperonpy

  #571 opened 8 months ago by noskill
  6

• error running repl: Fatal Error: MeTTa repl requires HyperonPy version matching '>=0.1.0, <0.2.0'

  #568 opened 8 months ago by noskill
  3