Pinned Loading

1. learn-tla learn-tla Public

   My personal TLA+ learning artifacts

   TLA

2. tsp tsp Public

   Traveling Salesman Problem

   Jupyter Notebook

3. fsm_gen fsm_gen Public

   Forked from vasil-sd/fsm_gen

   C-code FSM generator from YAML specifications

   Python

4. python-grpc-mutual-tls-auth python-grpc-mutual-tls-auth Public

   This is a simple python gRPC project with mutual server-client tls authentication.

   Python 12 7

5. JavaScript-word-search JavaScript-word-search Public

   Search a trie dictionary for possible words from given letters.

   JavaScript 2 2

6. me me Public

   Sphinx powered landing page

   Python