Hash

The Hash programming language.

Pinned Repositories

hash-vscode
A vscode hash language plugin
Language:TypeScript10
hashc
The Hash programming language compiler :zap:
Language:Rust26 2 4732
hi
Hash interactive frontend for the hashc
Language:Rust0 1 00
inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
Language:Rust00
junkie
IDE support for Hash programming language
10
lang-arxiv
The Hash programming language sources (original Haskell version)
Language:Haskell00
lsp-server
The Hash language server
Language:Rust30
metrics
Language:Python00
playground
Ideas about the present and future of the Hash programming language.
00
website
The official website for the Hash programming language
Language:TypeScript00

Hash's Repositories

hash-org/hashc
The Hash programming language compiler :zap:
Language:Rust26 2 4732
hash-org/lsp-server
The Hash language server
Language:Rust30
hash-org/hash-vscode
A vscode hash language plugin
Language:TypeScript10
hash-org/junkie
IDE support for Hash programming language
10
hash-org/hi
Hash interactive frontend for the hashc
Language:Rust0 1 00
hash-org/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
Language:Rust00
hash-org/lang-arxiv
The Hash programming language sources (original Haskell version)
Language:Haskell00
hash-org/metrics
Language:Python00
hash-org/playground
Ideas about the present and future of the Hash programming language.
00
hash-org/website
The official website for the Hash programming language
Language:TypeScript00
hash-org/formal
A formal specification for the Hash (TIR) type system in Agda.
Language:Agda1 0
hash-org/hash.vim
A Vim/NeoVim plugin for the Hash programming language.
Language:Vim script