Skip to content
View vo1stv's full-sized avatar
🧭
Setting a new course
🧭
Setting a new course
3 followers · 6 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@ABridgeTooFar

Block or report vo1stv

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

wei / pull

🤖 Keep your forks up-to-date via automated PRs

TypeScript 7,195 791 Updated Apr 13, 2026

actions / runner-images

GitHub Actions runner images

PowerShell 13,030 3,813 Updated Aug 17, 2026

issus / altium-library

Open source Altium Database Library with over 200,000 high quality components and full 3d models.

2,437 1,046 Updated Aug 7, 2026

actions / toolkit

The GitHub ToolKit for developing GitHub Actions.

TypeScript 5,821 1,804 Updated Aug 5, 2026

actions / starter-workflows

Accelerating new GitHub Actions workflows

TypeScript 11,944 7,263 Updated Aug 3, 2026

vo1stv / ScalaZ3

Forked from epfl-lara/ScalaZ3

Binders and more to the Z3 SMT solver for Scala

Scala 1 Updated Apr 1, 2014

mozilla / pdf.js

PDF Reader in JavaScript

JavaScript 53,741 10,658 Updated Aug 16, 2026

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Scala 127 34 Updated Jun 1, 2023