Bilingual

Show HN: Gitstock–Transform you GitHub commit history into K-line and animations
a month ago
- GitStock transforms GitHub commits into an SVG candlestick chart resembling a market chart.
- It allows users to input a public repository to visualize recent commits and code changes.
- The tool helps assess repository activity and health trends quickly through a shareable format.
Triple Dragon Fractal (2020)
21 days ago
- Triple Dragon Fractal visualizes behavior of a series for initial values on real-imaginary plane.
- Created by Paul Bourke in December 2020.
- Color indicates convergence speed to a fixed point, not divergence to infinity.
- Points in bounded regions of complex plane are shown in figures.
The Proof Machine (2016)
4 hours ago
- The Incredible Proof Machine is a visual tool for performing proofs in logics like propositional and predicate logic by dragging and connecting blocks.
- Users add blocks representing proof steps; if the conclusion turns green, a complete proof has been created.
- The tool aims to convey the fun of computer-aided proofs without requiring prior knowledge of syntax from theorem provers like Isabelle.
- Formula entry is limited to certain blocks (e.g., ¬-block) using abbreviations such as & for ∧, | for ∨, -> for →, ^ for ↑, ~ for ¬, ! for ∀, ? for ∃, and False for ⊥.
- Proofs are currently saved only in the browser's local storage and may be lost; future plans include server-side saving.
- The tool is free software, allowing contributions; for academic details, see related publications.

Hasty Briefsbeta

visualization

Show HN: Gitstock–Transform you GitHub commit history into K-line and animations

Triple Dragon Fractal (2020)

The Proof Machine (2016)