Hash - Giters

Hash's repositories

The Hash programming language compiler :zap:

Language:RustMIT2500

Language:Python000

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Language:RustApache-2.0000

A formal specification for the Hash (TIR) type system in Agda.

Language:Agda000

A vscode hash language plugin

Language:TypeScriptMIT100

The Hash language server

Language:RustMIT300

Hash interactive frontend for the hashc

Language:RustMIT000

The official website for the Hash programming language

Language:TypeScriptMIT000

IDE support for Hash programming language

MIT100

Ideas about the present and future of the Hash programming language.

MIT000

A Vim/NeoVim plugin for the Hash programming language.

Language:Vim scriptMIT000

The Hash programming language sources (original Haskell version)

Language:HaskellMIT000