hare
Here are 18 public repositories matching this topic...
Adds Hare Syntax Highlight to Sublime Text
-
Updated
Feb 19, 2024
Hare is a systems programming language.
-
Updated
Mar 18, 2024 - Makefile
System information command line program written in Hare
-
Updated
Feb 20, 2024
This repository contains examples of Hare programming language.
-
Updated
May 3, 2022
The Tortoise and the Hare in Coq. Constructive extraction via Bar inductive predicates (see README.md below).
-
Updated
Jul 9, 2018 - Coq
Emacs mode for Hare lang. Fork from https://git.sr.ht/~laumann/hare-mode
-
Updated
Mar 1, 2024 - Emacs Lisp
One of the most complex programs I have made in my college career, this simulates a race between X tortoises and Y hares
-
Updated
Sep 3, 2017 - Java
Improve this page
Add a description, image, and links to the hare topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the hare topic, visit your repo's landing page and select "manage topics."