sterin

Pinned Repositories

lektor-npm-support
Adds support for using npm/yarn to build assets in Lektor
Language:Python2 3 02
ltl
Generate monitor circuits for LTL properties
Language:Python2 2 00
mvsis
A copy of the latest version of MVSIS
Language:C7 2 12
pyaig
PyAIG: A simpe Python AIG and Truth Tables package
Language:Python4 3 02
python-sub-interpreters-multiple-threads-example
A simple example for using Python sub interpreters and multiple threads.
Language:C++30 2 16
super-prove-build
Language:CMake11 4 02
vscode-msbuild-tools
Work with Visual Studio solutions from inside Visual Studio Code
Language:TypeScript23 4 1010
vscode-xcodebuild-tools
Work with Xcode projects from inside Visual Studio Code
Language:TypeScript56 4 79

sterin's Repositories

sterin/vscode-xcodebuild-tools
Work with Xcode projects from inside Visual Studio Code
Language:TypeScript56 4 79
sterin/python-sub-interpreters-multiple-threads-example
A simple example for using Python sub interpreters and multiple threads.
Language:C++30 2 16
sterin/vscode-msbuild-tools
Work with Visual Studio solutions from inside Visual Studio Code
Language:TypeScript23 4 1010
sterin/super-prove-build
Language:CMake11 4 02
sterin/mvsis
A copy of the latest version of MVSIS
Language:C7 2 12
sterin/pyaig
PyAIG: A simpe Python AIG and Truth Tables package
Language:Python4 3 02
sterin/lektor-npm-support
Adds support for using npm/yarn to build assets in Lektor
Language:Python2 3 02
sterin/_pyabc
Language:Python1 3 0
sterin/ansible-role-nat-router
Ansible Role: NAT Router
1 4 01
sterin/chisel-tutorial
Language:Scala1 2 0
sterin/pyabc-extension-build
Language:CMake1 2 0
sterin/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C3 0
sterin/abc-zz
Niklas Een's ABC/ZZ framework
Language:C1 0
sterin/ansible-role-docker-ce
Ansible Role: Install Docker CE
3 0
sterin/ansible-role-nvidia-driver
Language:Jinja1 0
sterin/arduino-temp-control-bot
A simple temperature control Telegram bot using an ESP8266 based board and DS18B20 temperature sensor.
Language:C++3 0
sterin/chisel-bootcamp
Generator Bootcamp Material: Learn Chisel the Right Way
Language:Jupyter Notebook2 0
sterin/chisel-template
A template project for beginning new Chisel work
Language:Scala0 0
sterin/circt
Circuit IR Compilers and Tools
Language:C++
sterin/cpython
The Python programming language
Language:Python2 0
sterin/fpga-tidbits
Chisel components for FPGA projects
Language:Scala2 0
sterin/openvdb
OpenVDB - Sparse volume data structure and tools
Language:C++2 0
sterin/pyabc-cmake
Language:CMake2 0
sterin/PYNQ
Python Productivity for ZYNQ
Language:Jupyter Notebook1 0
sterin/pyzz-build
Language:Python3 0
sterin/qt-solutions
Language:C++2 0
sterin/vcpkg
C++ Library Manager for Windows, Linux, and MacOS
Language:CMake1 0
sterin/verilator
Verilator open-source SystemVerilog simulator and lint system
Language:C++0 0
sterin/vscode-cmake-tools
CMake integration in Visual Studio Code
Language:TypeScript2 0
sterin/youtube-dl
Command-line program to download videos from YouTube.com and other video sites
Language:Python1 0