Ben Vanik benvanik

## README.md

      
              5 files
            
          
              0 forks
            
          
              0 comments
            
          
              2 stars
            
          
                GMNGeoffrey
                / README.md
            
            
              Last active
              May 15, 2023 22:01
            
              
                Interactive Builds: git-watch, cool-bazel, ibazel
              
          
    Some little scripts I've found useful for development.
git-watch retriggers a command when your git repo
changes, so can give interactive rebuilds like
ibazel except I found that
https://github.com/bazelbuild/bazel-watcher didn't
work for me at all. This is also completely agnostic
to the command, so can be used with CMake as well,
for instance.

  
## websockets.md

      
              1 file
            
          
              3 forks
            
          
              2 comments
            
          
              90 stars
            
          
                jsomers
                / websockets.md
            
            
              Created
              September 27, 2018 12:50
            
              
                Using websockets to easily build GUIs for Python programs
              
          
    Using websockets to easily build GUIs for Python programs

I recently built a small agent-based model using Python and wanted to visualize the model in action. But as much as Python is an ideal tool for scientific computation (numpy, scipy, matplotlib), it's not as good for dynamic visualization (pygame?).
You know what's a very mature and flexible tool for drawing graphics? The DOM! For simple graphics you can use HTML and CSS; for more complicated stuff you can use Canvas, SVG, or WebGL. There are countless frameworks, libraries, and tutorials to help you draw exactly what you need. In my case, this was the animation I wanted:

(Each row represents a "worker" in my model, and each rectangle represents a "task.")

  
## reclaimWindows10.ps1
###
###
### UPDATE: For Win 11, I recommend using this tool in place of this script:
### https://christitus.com/windows-tool/
### https://github.com/ChrisTitusTech/winutil
### https://www.youtube.com/watch?v=6UQZ5oQg8XA
### iwr -useb https://christitus.com/win | iex
###
###

## example.py
'''
example of consuming insns.xml
'''

from xml.etree.ElementTree import ElementTree

class Instructions:
    def __init__(s):
        s.root = ElementTree(file = 'insns.xml')
    def dump(s):

## pyramiddemo.html
<!DOCTYPE html>
<html>
  <head>
    <title>Image Pyramid Demo</title>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
    <meta name="viewport" content="width=device-width,height=device-height,initial-scale=1.0,user-scalable=no">
    <script src="pyramiddemo.js"></script>
    <style>
      body {
	###
	###
	### UPDATE: For Win 11, I recommend using this tool in place of this script:
	### https://christitus.com/windows-tool/
	### https://github.com/ChrisTitusTech/winutil
	### https://www.youtube.com/watch?v=6UQZ5oQg8XA
	### iwr -useb https://christitus.com/win \| iex
	###
	###
	'''
	example of consuming insns.xml
	'''

	from xml.etree.ElementTree import ElementTree

	class Instructions:
	def __init__(s):
	s.root = ElementTree(file = 'insns.xml')
	def dump(s):
	<!DOCTYPE html>
	<html>
	<head>
	<title>Image Pyramid Demo</title>
	<meta charset="utf-8">
	<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
	<meta name="viewport" content="width=device-width,height=device-height,initial-scale=1.0,user-scalable=no">
	<script src="pyramiddemo.js"></script>
	<style>
	body {