zeta1999 Goto Github PK

venom

All Terrain Autonomous Quadruped

venus

A language similiar to go that compiles to Lua

verdi

A framework for formally verifying distributed systems implementations in Coq

verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

verifast

Research prototype tool for modular formal verification of C and Java programs

verificarlo

A tool for automatic Montecarlo Arithmetic analysis.

verificarlo_tutorial

Tutorial for Verificarlo

verification

Verification-related documentation and code for pluto.

verified-instances

Verified instances for parallel programming.

verified-react

Automated reasoning for React/ReasonML

verifiedcompiler

Extending a toy compiler written in Agda... by Proving It Correct!

verilator

Verilator open-source SystemVerilog simulator and lint system

verilog2factorio

This project will compile verilog (a hardware description language) into factorio blueprints.

verismart-public

a safety verifier for Solidity smart contracts

verisol

A formal verifier and analysis tool for Solidity Smart Contracts

vertx-pac4j

Security library for Vert.x 3: OAuth, CAS, SAML, OpenID Connect, LDAP, JWT...

verysleepy

Very Sleepy, a polling CPU profiler

vexcl

VexCL is a C++ vector expression template library for OpenCL/CUDA/OpenMP

vexriscv

A FPGA friendly 32 bit RISC-V CPU implementation

vgpu_unlock

Unlock vGPU functionality for consumer grade GPUs.

vibe

Official implementation of CVPR2020 paper "VIBE: Video Inference for Human Body Pose and Shape Estimation"

vibranium

Developer tools for building decentralized applications (this is a pet project to learn Rust, don't use this yet)

vicis

Manipulate LLVM-IR in Pure Rust

vid-fusion

VID-Fusion: Robust Visual-Inertial-Dynamics Odometry for Accurate External Force Estimation

videogpt

videointerminal.jl

Video playback in terminal via. ImageInTerminal.jl and VideoIO.jl

vidgear

High-performance cross-platform Video Processing Python framework powerpacked with unique trailblazing features :sparkles:

viennacl-dev

Developer repository for ViennaCL. Visit http://viennacl.sourceforge.net/ for the latest releases.

vigil

Vigil, the eternal morally vigilant programming language

viky-ai

Natural Language Processing platform. Allows to extract information from unstructured text.