Pinned Repositories
lektor-npm-support
Adds support for using npm/yarn to build assets in Lektor
ltl
Generate monitor circuits for LTL properties
pyaig
PyAIG: A simpe Python AIG and Truth Tables package
pyliveness
python-sub-interpreters-multiple-threads-example
A simple example for using Python sub interpreters and multiple threads.
super-prove-build
vscode-msbuild-tools
Work with Visual Studio solutions from inside Visual Studio Code
vscode-xcodebuild-tools
Work with Xcode projects from inside Visual Studio Code
sterin's Repositories
sterin/pyliveness
sterin/freeze-safari
A small WebGL shader that completely freezes Safari on some recent Macs
sterin/abc-tmp-2
sterin/ansible-role-rsnapshot
# Ansible Role: rsnapshot
sterin/cef-cmake-externalproject-sample
Example of how ExternalProject_Add can be used to load a CEF3 build as a dependency in our own cmake project.
sterin/cirkit
A circuit toolkit
sterin/docker-rpi-syncthing
Docker image with Syncthing for Raspberry Pis
sterin/lektor-markdown-header-anchors
Adds support for anchors and table of contents to Markdown.
sterin/lektor-webpack-support
Adds webpack support to lektor.
sterin/lektor-website
The main lektor website.
sterin/qmacnativewidget-setpalette-problem
Reproduce a problem with QMacNativeWidget and QApplication::setPalette()
sterin/ucastrothesis
Up-to-date LaTeX files for making a University of California PhD thesis
sterin/vscode-ftp-sync
Ftp Sync plugin for Visual Studio Code
sterin/vscode-task-commands
Visual Studio Code extension for assigning commands to tasks. Makes it possible to assign keyboard shortcuts to tasks.