ReviewOS

home-lang/home

public
Clone

Push over the same URL. A password will not work: create a token under access tokens and use it in place of one.

Star 0 Watch 0

There is no language like Home.

  • Closed
    fix(threading): replace spin-only primitives with futex-backed Mutex/CondVar/RwLock/Semaphore

    #802 opened 10 days ago by chris · 7 comments

  • Open
    refactor(codegen): choose the AOT backbone and retire unwired backends

    #801 opened 10 days ago by chris · 6 comments

  • Open
    feat(aot): lower type-checked TypeScript (HIR) to native code for a statically resolvable subset

    #800 opened 10 days ago by chris

  • Open
    feat(codegen): natively compile a Home HTTP server using the stdlib

    #799 opened 10 days ago by chris

  • Closed
    fix(build): native `home build` skips comptime, collides module symbols and caches empty blobs

    #798 opened 10 days ago by chris · 4 comments

  • Open
    fix(codegen): real allocator with deallocation in native binaries

    #797 opened 10 days ago by chris · 1 comment

  • Open
    feat(codegen): production executable format — PIE, DWARF, libc linkage, object output

    #796 opened 10 days ago by chris

  • Open
    feat(codegen): `--target=<triple>` for regular (non-kernel) native builds

    #795 opened 10 days ago by chris

  • Open
    perf(aot): cold-start, RSS and binary-size benchmark for compiled servers

    #794 opened 10 days ago by chris

  • Open
    test(aot): native end-to-end coverage for `home build --compile` and `--bytecode`

    #793 opened 10 days ago by chris

  • Open
    feat(aot): `--compile --target=` should cross-compile against Home runtime artifacts, not Bun's npm binaries

    #792 opened 10 days ago by chris

  • Open
    feat(aot): ship the JS/TS runtime in Linux release binaries

    #791 opened 10 days ago by chris

  • Open
    refactor(build): retire the LLVM JS/TS launcher that copies `home` to /tmp and execs it

    #790 opened 10 days ago by chris · 1 comment

  • Open
    feat(validation): generate runtime validators from types for trust boundaries (`validate<T>`)

    #789 opened 10 days ago by chris

  • Closed
    chore(types): wire or delete the unused safety analyses, and make mutable arrays invariant

    #788 opened 10 days ago by chris · 8 comments

  • Open
    fix(types): make `unsafe` a real checked boundary

    #787 opened 10 days ago by chris · 8 comments

  • Open
    feat(interop): implement the `.d.hm` and `.d.ts` loaders so calls across Home ↔ TypeScript are type-checked

    #786 opened 10 days ago by chris

  • Open
    feat(runtime): `home run --check` refuses to run TypeScript with type errors (and skips checking otherwise)

    #785 opened 10 days ago by chris

  • Open
    feat(ts): opt-in `sound` mode that closes TypeScript's known unsoundness holes

    #784 opened 10 days ago by chris

  • Open
    feat(ts): distinguish checker-synthesized `any` from user-written `any`

    #783 opened 10 days ago by chris · 49 comments

  • Closed
    feat(ts): emit Home-only `HMxxxx` diagnostics and accept Home options in tsconfig

    #782 opened 10 days ago by chris · 10 comments

  • Closed
    feat(types): enforce `match` exhaustiveness in the checker

    #781 opened 10 days ago by chris · 3 comments

  • Closed
    fix(cli): make type, parse and import errors fatal in `home build` / `home check`

    #780 opened 10 days ago by chris · 3 comments

  • Closed
    fix(types): replace the `Void`-means-unknown escape hatch with a real `Unknown` that fails closed

    #779 opened 10 days ago by chris · 23 comments

  • Closed
    fix(types): Home checker never checks return, match, block, assert, trait or impl statements

    #778 opened 10 days ago by chris · 4 comments

  • Closed
    fix(ts): retain mapped-key binder identity through substitution

    #777 opened 10 days ago by glennmichael123 · 1 comment

  • Closed
    fix(ts): avoid undefined from optional access on narrowed receivers

    #776 opened 10 days ago by glennmichael123 · 1 comment

  • Closed
    fix(ts): preserve bigint results for arithmetic operators

    #775 opened 10 days ago by glennmichael123 · 1 comment

  • Closed
    Port direct IIFE tuple context and type-only import recovery

    #774 opened 10 days ago by chris · 1 comment

  • Closed
    Type checker: preserve guarded locals across bindings and callbacks

    #773 opened 10 days ago by chris · 1 comment