Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–24 of 25 · Most stars

An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!

cheat allows you to create and view interactive cheatsheets on the command-line. It was designed to help remind *nix system administrators of options for commands that they use frequently, but not frequently enough to remember.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Interactive Go Interview Platform - 30+ coding challenges with instant feedback, AI interview simulation, competitive leaderboards, and automated testing. From beginner to advanced levels with real-world scenarios.

  • go-interview-questions
  • golang
  • golang-interview-questions
  • hacktoberfest

XML sources of SICP and SICP JS, and support for generating Interactive SICP JS, PDF, e-book and comparison editions

  • javascript
  • textbook
  • source-academy
  • sicp

The most comprehensive Hack The Box writeup collection - 500+ machines, 400+ challenges, interactive knowledge graph, skill trees, attack path diagrams, ProLabs, Sherlocks, OSCP/CPTS/CRTO prep. Browse: momenbasel.github.io/htb-writeups

An interactive Swift Playground Book about Binary Search Trees (WWDC 2017 Scholarship winner)

  • wwdc-scholarship
  • wwdc2017
  • swift-playgrounds
  • ipad