vo1stv Goto Github PK

checkout

Action for checking out a repo

covid-19-api

COVID-19 global data (from JHU CSSE for now) as-a-service

covid-chestxray-dataset

We are building an open database of COVID-19 cases with chest X-ray or CT images.

create-release

An Action to create releases via the GitHub Release API

download-artifact

getting-started-github-apps

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

gists

A flat repository for all things vo1stv

hol

Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

minima

Minima is a one-size-fits-all Jekyll theme for writers.

mosml

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

motty_stephendouglas

Official repository for 2014 Thesis

openelec.tv

OpenELEC - The living room PC for everyone

openlung

openwarp

Please visit http://nrel.github.io/OpenWARP/ for more information.

pdf.js

PDF Reader in JavaScript

pull

⬇️ Keep your forks up-to-date via automated PRs

py-web-tool

pyWebTool supports Literate Programming by trying to work with ANY markup language and any programming language

scalaz3

Binders and more to the Z3 SMT solver for Scala

setup-python

Set up your GitHub Actions workflow with a specific version of python

starter-workflows

Accelerating new GitHub Actions workflows

treesheets

TreeSheets : Free Form Data Organizer (see treesheets.com)

upload-artifact

vplusrcvprimeequalsvcc

Basics of circuit analysis

w3css

Mirror of W3.CSS - CSS Framework