https://github.com/leozz37/hare

🐇 CLI tool for websockets and Go package

go golang hare messaging network socketio sockets

Last synced: 26 Jan 2026

https://github.com/tree-sitter-grammars/tree-sitter-hare

Hare grammar for tree-sitter

hare parser tree-sitter

Last synced: 14 Jun 2025

https://github.com/themanyone/itcc

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

contest go golang hare interactive programming python rad repl rust zig

Last synced: 26 Jul 2025

https://github.com/themanyone/replace

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

c c17 cobol cpp cpp17 csharp fortran go hare java node perl php python repl rust zig

Last synced: 01 Apr 2026

https://github.com/lost22git/hello

bun crystal cyber gleam go hare lobster lua nim ocaml odin roc rust zig

Last synced: 07 Mar 2026

https://github.com/dmxlarchey/the-tortoise-and-the-hare

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

brent coq coq-formalization cycle-detection floyd hare tortoise

Last synced: 22 Apr 2025

https://github.com/dealloc/hare

A dead-simple, fast, and lightweight .NET messaging library for RabbitMQ.

csharp dotnet hare messaging rabbitmq

Last synced: 20 Jan 2026