Skip to content
@tinverse

Tinverse, LLC

Pinned Loading

  1. tsm Public

    A Typed Hierarchical State Machine Framework in C++

    C++ 46 7

  2. noddy Public

    Noddy is an implementation of the Raft consensus algorithm

    Python 1 1

Repositories

Showing 7 of 7 repositories
  • tsm Public

    A Typed Hierarchical State Machine Framework in C++

    C++ 46 MIT 7 0 0 Updated Jan 18, 2025
  • practical-python Public Forked from dabeaz-course/practical-python

    Practical Python Programming

    Python 0 CC-BY-SA-4.0 6,756 0 0 Updated Aug 10, 2024
  • sriram Public

    Sriram's Repo

    HTML 0 0 0 0 Updated Oct 7, 2022
  • tlaplus Public Forked from tlaplus/tlaplus

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

    Java 0 MIT 212 0 0 Updated Feb 10, 2020
  • noddy Public

    Noddy is an implementation of the Raft consensus algorithm

    Python 1 GPL-3.0 1 0 0 Updated Oct 16, 2019
  • compile Public

    A Tech Blog

    0 0 0 0 Updated Mar 26, 2017
  • tinverse.github.io Public
    0 0 0 0 Updated Feb 9, 2014