There are 0 repository under hare topic.
Configuration-free text editor and IDE limited to VT100. Suitable for writing git commit messages, editing Markdown, config files, source code, viewing man pages and for quick edit-compile cycles when programming. Has syntax highlighting, jump-to-error, rainbow parentheses, macros, tab completion, cut/paste portals and a simple gdb front-end.
Adds Hare Syntax Highlight to Sublime Text
A RAD new way to program: simple, light-weight read-eval-print loop (REPL)s for C, C++, Rust, Hair, Zig, Go, and Crap...
The Tortoise and the Hare in Coq. Constructive extraction via Bar inductive predicates (see README.md below).
This repository contains examples of Hare programming language.
A REPL for all langauges with *your* editor and this simple bash script.
One of the most complex programs I have made in my college career, this simulates a race between X tortoises and Y hares
Emacs mode for Hare lang. Fork from https://git.sr.ht/~laumann/hare-mode
Bunch of particles following your cursor. Built using Hare and Raylib.