https://github.com/xyproto/orbiton

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.

command-line configuration-free editor freebsd gdb go hare ide image-viewer linux markdown rainbow-parentheses rust terminal text-editor tui unix vt100 zig

Last synced: 08 Apr 2025

https://github.com/leozz37/hare

🐇 CLI tool for websockets and Go package

go golang hare messaging network socketio sockets

Last synced: 13 Mar 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: 02 Dec 2024

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: 13 Mar 2025

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/lost22git/hello

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

Last synced: 03 Mar 2025

https://github.com/lost22git/hello_hare

hare lang learning

hare hare-lang harelang

Last synced: 17 Mar 2025

https://github.com/0x736561/aprendendo-hare

Não sou programardor, mas tenho interesse no assunto. Por isso estou estudando a linguagem de programação Hare.

beginner hare harelang study

Last synced: 25 Mar 2025

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

Hare grammar for tree-sitter

hare parser tree-sitter

Last synced: 08 Feb 2025

https://github.com/alexcoder04/hare-helloworld

Playing with the hare programming language

hare harelang hello-world helloworld new-programming-language programming-language

Last synced: 03 Apr 2025