Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with hare
A curated list of projects in awesome lists tagged with hare .
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: 31 Oct 2024
https://github.com/xyproto/o
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: 17 Oct 2024
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: 06 Nov 2024