Skip to content

Navigation Menu

Appearance settings

hash-org

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

Hash

The Hash programming language.

5 followers
https://hash-org.github.io/lang/

Overview
Repositories
Discussions
Projects
Packages
People

More

Overview
Repositories
Discussions
Projects
Packages
People

Pinned Loading

hashc hashc Public

The Hash programming language compiler ⚡

Rust 26 2
lang-arxiv lang-arxiv Public archive

The Hash programming language sources (original Haskell version)

Haskell
website website Public

The official website for the Hash programming language

TypeScript

Repositories

Loading

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All Agda Haskell Python Rust TypeScript Vim Script

Sort

Select order

Last updated Name Stars

Showing 10 of 13 repositories

hashc Public
The Hash programming language compiler ⚡

hash-org/hashc’s past year of commit activity

Rust 26 MIT 2 71 (1 issue needs help) 1 Updated Apr 21, 2025
inkwell Public Forked from TheDan64/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)

hash-org/inkwell’s past year of commit activity

Rust 0 Apache-2.0 244 0 0 Updated Dec 20, 2024
metrics Public

hash-org/metrics’s past year of commit activity

Python 0 0 0 0 Updated Jul 14, 2024
spec Public
The Hash Programming Language Formal Specification

hash-org/spec’s past year of commit activity

Python 1 MIT 0 11 0 Updated Feb 21, 2024
formal Public
A formal specification for the Hash (TIR) type system in Agda.

hash-org/formal’s past year of commit activity

Agda 0 0 0 0 Updated Jan 16, 2024
hash-vscode Public
A vscode hash language plugin

hash-org/hash-vscode’s past year of commit activity

TypeScript 1 MIT 0 0 0 Updated Jan 13, 2024
lsp-server Public
The Hash language server

hash-org/lsp-server’s past year of commit activity

Rust 3 MIT 0 0 0 Updated Jan 13, 2024
hi Public
Hash interactive frontend for the hashc

hash-org/hi’s past year of commit activity

Rust 0 MIT 0 0 0 Updated Sep 25, 2023
website Public
The official website for the Hash programming language

hash-org/website’s past year of commit activity

TypeScript 0 MIT 0 7 0 Updated Jun 7, 2023
junkie Public
IDE support for Hash programming language

hash-org/junkie’s past year of commit activity

1 MIT 0 0 0 Updated Mar 2, 2023

View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.