Hash's repositories
Language:Python000
inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
Language:RustApache-2.0000
formal
A formal specification for the Hash (TIR) type system in Agda.
Language:Agda000
hash-vscode
A vscode hash language plugin
lsp-server
The Hash language server
hi
Hash interactive frontend for the hashc
Language:RustMIT000
website
The official website for the Hash programming language
Language:TypeScriptMIT000
playground
Ideas about the present and future of the Hash programming language.
MIT000
hash.vim
A Vim/NeoVim plugin for the Hash programming language.
Language:Vim scriptMIT000
lang-arxiv
The Hash programming language sources (original Haskell version)
Language:HaskellMIT000