Skip to content

@hash-org Hash

All

    Repositories list

    13 repositories

    • website

      Public
      The official website for the Hash programming language
      TypeScript
      •
      MIT License
      •0•0•7•0•Updated Jul 12, 2026Jul 12, 2026

    • spec

      Public
      The Hash Programming Language Formal Specification
      Python
      •
      MIT License
      •0•1•11•0•Updated Jul 12, 2026Jul 12, 2026

    • playground

      Public
      Ideas about the present and future of the Hash programming language.
      MIT License
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • metrics

      Public
      Python
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • lsp-server

      Public
      The Hash language server
      Rust
      •
      MIT License
      •0•3•0•0•Updated Jul 12, 2026Jul 12, 2026

    • junkie

      Public
      IDE support for Hash programming language
      MIT License
      •0•1•0•0•Updated Jul 12, 2026Jul 12, 2026

    • inkwell

      Public
      It's a New Kind of Wrapper for Exposing LLVM (Safely)
      Rust
      •
      Apache License 2.0
      •275•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • hashc

      Public
      The Hash programming language compiler :zap:
      languageprogramming-languageinterpreter
      languageprogramming-languageinterpretercompilertype-theory
      Rust
      •
      MIT License
      •1•28•67•0•Updated Jul 12, 2026Jul 12, 2026

    • hash-vscode

      Public
      A vscode hash language plugin
      TypeScript
      •
      MIT License
      •0•1•0•0•Updated Jul 12, 2026Jul 12, 2026

    • formal

      Public
      A formal specification for the Hash (TIR) type system in Agda.
      Agda
      •0•0•0•0•Updated Jul 12, 2026Jul 12, 2026

    • hash.vim

      Public
      A Vim/NeoVim plugin for the Hash programming language.
      Vim Script
      •
      MIT License
      •0•0•0•0•Updated May 15, 2026May 15, 2026

    • hi

      Public
      Hash interactive frontend for the hashc
      Rust
      •
      MIT License
      •0•0•0•0•Updated Sep 25, 2023Sep 25, 2023

    • lang-arxiv

      Public archive
      The Hash programming language sources (original Haskell version)
      Haskell
      •
      MIT License
      •0•0•0•0•Updated May 12, 2021May 12, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.