Issues

• Compare every optimization level on the example programs

  enhancement
  Progmasoft/tala#103 · Filter by author Leitwolf11 opened on Oct 18, 2026

• Mutation-test the verifiers and wire codecs with Mull

  enhancement
  Progmasoft/tala#102 · Filter by author Leitwolf11 opened on Oct 18, 2026

• Run Fuzz Introspector over the fuzz targets

  enhancement
  Progmasoft/tala#101 · Filter by author Leitwolf11 opened on Oct 18, 2026

• Prebuilt LLVM with libc++ for aarch64 Linux

  enhancement
  Progmasoft/tala#100 · Filter by author Leitwolf11 opened on Oct 18, 2026

• Move talafmt, talalint and tala-analyzer to their own repositories

  enhancement
  Progmasoft/tala#99 · Filter by author Leitwolf11 opened on Oct 18, 2026

• Publish the compiler packages on Hackage

  enhancement
  Progmasoft/tala#98 · Filter by author Leitwolf11 opened on Oct 18, 2026

• Report shadowed names with --warnings=shadow

  enhancement
  Progmasoft/tala#97 · Filter by author Leitwolf11 opened on Oct 18, 2026

• Compile library targets

  enhancement
  Progmasoft/tala#96 · Filter by author Leitwolf11 opened on Oct 18, 2026

• Dependency Dashboard

  Progmasoft/tala#56 · Filter by author renovate opened on Oct 10, 2026