Pinned Repositories
ScalaZ3
Binders and more to the Z3 SMT solver for Scala
vo1stv's Repositories
vo1stv/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
vo1stv/checkout
Action for checking out a repo
vo1stv/covid-19-api
COVID-19 global data (from JHU CSSE for now) as-a-service
vo1stv/covid-chestxray-dataset
We are building an open database of COVID-19 cases with chest X-ray or CT images.
vo1stv/create-release
An Action to create releases via the GitHub Release API
vo1stv/download-artifact
vo1stv/getting-started-github-apps
vo1stv/gh-w-t-tool
gh-w-t-tool supports Literate Programming by trying to work with ANY markup language and any programming language within the github ecosystem
vo1stv/gists
A flat repository for all things vo1stv
vo1stv/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
vo1stv/minima
Minima is a one-size-fits-all Jekyll theme for writers.
vo1stv/mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
vo1stv/Motty_StephenDouglas
Official repository for 2014 Thesis
vo1stv/OpenELEC.tv
OpenELEC - The living room PC for everyone
vo1stv/OpenLung
vo1stv/OpenWARP
Please visit http://nrel.github.io/OpenWARP/ for more information.
vo1stv/pdf.js
PDF Reader in JavaScript
vo1stv/pull
⬇️ Keep your forks up-to-date via automated PRs
vo1stv/py-web-tool
pyWebTool supports Literate Programming by trying to work with ANY markup language and any programming language
vo1stv/setup-python
Set up your GitHub Actions workflow with a specific version of python
vo1stv/starter-workflows
Accelerating new GitHub Actions workflows
vo1stv/treesheets
TreeSheets : Free Form Data Organizer (see treesheets.com)
vo1stv/upload-artifact
vo1stv/VPlusRCVPrimeEqualsVcc
Basics of circuit analysis
vo1stv/w3css
Mirror of W3.CSS - CSS Framework