hare
Here are 25 public repositories matching this topic...
Adds Hare Syntax Highlight to Sublime Text
-
Updated
May 25, 2025
Hare is a systems programming language.
-
Updated
Mar 18, 2024 - Makefile
📚️ A repository for showcasing my knowledge of the Hare programming language, and continuing to learn the language.
-
Updated
Apr 16, 2025 - Hare
A simple Emacs mode for the Hare Programming Language. Based on "simpc-mode", from Rexim.
-
Updated
Jun 30, 2025 - Emacs Lisp
This repository contains examples of Hare programming language.
-
Updated
May 3, 2022
⌨️ The Hare programming language IDE submodule for SNU Programming Tools (2D Mode)
-
Updated
Apr 16, 2025 - Hare
MIRROR! Simple and small Scheme interpreter in Hare.
-
Updated
Jan 22, 2026 - Hare
The Tortoise and the Hare in Coq. Constructive extraction via Bar inductive predicates (see README.md below).
-
Updated
Jul 9, 2018 - Coq
Raylib bindings for Hare
-
Updated
Jan 18, 2026 - Hare
Add this topic to your repo
To associate your repository with the hare topic, visit your repo's landing page and select "manage topics."