This is just open repo for my practice

One of the most complex programs I have made in my college career, this simulates a race between X tortoises and Y hares

The Tortoise and the Hare in Coq. Constructive extraction via Bar inductive predicates (see README.md below).

Hare-Hounds Game using AngularJS and Java

This repository contains examples of Hare programming language.

IntelliJ plugin for hare

🐇 CLI tool for websockets and Go package

Adds Hare Syntax Highlight to Sublime Text

System information command line program written in Hare

Bunch of particles following your cursor. Built using Hare and Raylib.

Emacs mode for Hare lang. Fork from https://git.sr.ht/~laumann/hare-mode

A REPL for all langauges with *your* editor and this simple bash script.

Hare is a systems programming language.

https://git.sr.ht/~pixeller/hare-sdl2

A (bad) implementation of a linked list in Hare.

GPU accelerated vector image manipulation tool

Hare grammar for tree-sitter

A RAD new way to program: simple, light-weight read-eval-print loop (REPL)s for C, C++, Rust, Hare, Zig, Go, and Crap...

My learning ground for Harelang.