Owner

hash-org

3 indexed repositories · View on GitHub

hashc
The Hash programming language compiler :zap:

Rust · 28 stars
spec
The Hash Programming Language Formal Specification

Python · 1 star
website
The official website for the Hash programming language

TypeScript · 0 stars

Open All

Parser: Add parser fuzzing to test various inputs and if the parser crashes Open

backlog parser tests

hash-org/hashc#148 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Setup performance metrics to track performance regressions Open

backlog performance tests

hash-org/hashc#152 · 0 comments · 0 reactions · 2 assignees · Indexed Sep 17, 2026
Convert Hash IR into Hash bytecode Open

landmark lowering

hash-org/hashc#249 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Finalise the bytecode interpreter Open

landmark vm

hash-org/hashc#250 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Add constructor refinement conditions to `Data` `Ty` variant Open

type-system

hash-org/hashc#606 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
lower closures Open

blocked lowering

hash-org/hashc#609 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
support default arguments for `struct`s, `enum`s, function calls, and other places where default values can occur. Open

blocked lowering

hash-org/hashc#622 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Add discovery + resolution tests Open

type-system

hash-org/hashc#657 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Improve the error messages during symbol resolution Open

type-system

hash-org/hashc#659 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Function defs should record their captured variables if they are closures Open

type-system

hash-org/hashc#662 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Create an error store and keep errors there rather than pass-by-value Open

type-system

hash-org/hashc#694 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Elaborate implicit function calls and default arguments Open

type-system

hash-org/hashc#695 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Add mechanism for declaring default data defs for unannotated literals. Open

type-system

hash-org/hashc#696 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Support mod patterns Open

type-system

hash-org/hashc#732 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Positivity check for data type definitions Open

type-system

hash-org/hashc#733 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Directive resolve: #use + #pure + #comptime + #unsafe Open

type-system

hash-org/hashc#735 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Add proof irrelevance to data definitions Open

type-system

hash-org/hashc#736 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Implement proof search for `infer_term` for use types Open

type-system

hash-org/hashc#738 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Improve errors + add locations to them Open

type-system

hash-org/hashc#742 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Add more TC tests Open

type-system

hash-org/hashc#744 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Syntax change: data type refinements Open

type-system

hash-org/hashc#746 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Function attribute struct Open

type-system

hash-org/hashc#749 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Store full path of items for printing Open

type-system

hash-org/hashc#763 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Persist interactive mode bindings Open

type-system

hash-org/hashc#769 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
tokeniser: add `TokenKind::Newline` to disambiguate statement positions Open

parser

hash-org/hashc#786 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Introduce `#foreign_library` directive to specify when to link to a foreign library Open

linker

hash-org/hashc#808 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Fix extraction of binds during resolution Open

type-system

hash-org/hashc#831 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Allow constants at top-level Open

lowering type-system

hash-org/hashc#832 · 0 comments · 0 reactions · 2 assignees · Indexed Sep 17, 2026
Unification using weak head normalisation Open

type-system

hash-org/hashc#836 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Disallow types to exist at runtime Open

hash-org/hashc#838 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Complete unification procedure Open

type-system

hash-org/hashc#869 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Move certain terms to a separate `Command` enum. Open

type-system

hash-org/hashc#948 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Turn some variants of `Term` into primitives and intrinsics Open

type-system

hash-org/hashc#950 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Remove separate function store, store in terms inline Open

type-system

hash-org/hashc#951 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Start adding re-writing mechanism to typechecking, for now just for baking literals Open

hash-org/hashc#953 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Both intrinsics and primitives should be allowed to be defined in-source Open

hash-org/hashc#962 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 17, 2026
tir: Come up with way of resolving out-of-order references Open

hash-org/hashc#964 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Introduce `Const` to the TIR Open

runtime type-system

hash-org/hashc#970 · 0 comments · 0 reactions · 2 assignees · Indexed Sep 17, 2026
Improve TIR dumping: print the node location alongside the dump, and use `stream_writeln` for potential tests Open

hash-org/hashc#972 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Collect more fine grained timings from analysis Open

performance semantic-analysis

hash-org/hashc#975 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Ship pre-built LLVM libraries in the repository to simplify the build process Open

enhancement organisation

hash-org/hashc#976 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
TIR: Reduce the size of `PatArgId` and `ArgId`, and `SomeArgId` Open

performance semantic-analysis

hash-org/hashc#978 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
tc: exp-time whilst running analysis on this chunk Open

bug performance type-system

hash-org/hashc#981 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 17, 2026
tir+lower: emit function names for monomorphised functions Open

lowering type-system

hash-org/hashc#990 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
tc: confussion between `usize` and `u64` Open

bug type-system

hash-org/hashc#991 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
codegen(llvm): emit debug information Open

codegen

hash-org/hashc#995 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
TIR: directly print byte literals rather than as a integer literal Open

good first issue type-system

hash-org/hashc#1001 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
tir: Allow `DataDef`s and `ModDef`s to appear as terms Open

hash-org/hashc#1015 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
tir: Store inferred type on `Node` rather than `AtomInfo` Open

hash-org/hashc#1016 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
sc: Separate discovery and some of resolution into a separate scope-check pass Open

hash-org/hashc#1017 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026

hash-org

Get new issues in your inbox