Repositories list

• adaptagrams

  Public
  Libraries for constraint-based layout and connector routing for diagrams.

  C++

  •101101 forks•00 stars•00 issues•00 pull requests•Updated Jun 18, 2026Jun 18, 2026

• autoclick

  Public
  Dependency-free dwell autoclicker that clicks once after the mouse stops moving

  Rust

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Jun 8, 2026Jun 8, 2026

• hoopsense

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 30, 2026Apr 30, 2026

• tsm

  Public
  A Typed Hierarchical State Machine Framework in C++

  c-plus-pluscmakenix+ 10

  c-plus-pluscmakenixstate-machineheader-onlyfinite-state-machinehsmc-plus-plus-17hierarchical-state-machinemealy-machine+ 3

  C++

  •

  MIT License

  •77 forks•4646 stars•00 issues•00 pull requests•Updated Jan 18, 2025Jan 18, 2025

• practical-python

  Public
  Practical Python Programming

  Python

  •

  Creative Commons Attribution Share Alike 4.0 International

  •7.1k7.1k forks•00 stars•00 issues•00 pull requests•Updated Aug 10, 2024Aug 10, 2024

• sriram

  Public
  Sriram's Repo

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 7, 2022Oct 7, 2022

• tlaplus

  Public
  TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Java

  •

  MIT License

  •260260 forks•00 stars•00 issues•00 pull requests•Updated Feb 10, 2020Feb 10, 2020

• noddy

  Public
  Noddy is an implementation of the Raft consensus algorithm

  Python

  •

  GNU General Public License v3.0

  •11 fork•11 star•00 issues•00 pull requests•Updated Oct 16, 2019Oct 16, 2019

• compile

  Public
  A Tech Blog

  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 26, 2017Mar 26, 2017

• tinverse.github.io

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Feb 9, 2014Feb 9, 2014