vyyq Goto Github PK

rl4vlm

Official Repo for Fine-Tuning Large Vision-Language Models as Decision-Making Agents via Reinforcement Learning

rnote

Individually notes on learning R programing.

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

rust

Empowering everyone to build reliable and efficient software.

rust-course

<<Rust语言圣经(Book & Course)>>对Rust语言进行全面且深入的讲解，辅以生动的示例和习题，带你攻克从入门学习到实践应用的各种难关。 我们的目标是做全世界最好的开源Rust教程——学Rust就上course.rs。

sablejs

🏖️ The safer and faster ECMA5.1 interpreter written by JavaScript

sca-fuzzer

Revizor - a fuzzer to search for microarchitectural leaks in CPUs

sel4

The seL4 microkernel

sev-step

This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev vm

sev-step-userland

This repo contains the userspace library of the sev step framework

software-analysis-teaching

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

spectre-meltdown-checker

Downfall, Zenbleed, ZombieLoad, RIDL, Fallout, Foreshadow, Spectre, Meltdown vulnerability/mitigation checker for Linux & BSD

stable-diffusion-webui

Stable Diffusion web UI

stablediffusion

High-Resolution Image Synthesis with Latent Diffusion Models

stacks-project

Repository for the Stacks Project

svf

Static Value-Flow Analysis Framework for Source Code

sys

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

tdx-module

Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called trust domains (TDs). Intel TDX is designed to isolate VMs from the virtual-machine manager (VMM)/hypervisor and any other non-TD software on the platform to protect TDs from a broad range of software.

teaching-software-analysis

tinycc

Unofficial mirror of mob development branch

translating-recoltes-et-semailles

truthfulqa

TruthfulQA: Measuring How Models Imitate Human Falsehoods

vim-config

Lean mean Neovim machine, carefully crafted with :heart: Use with latest Neovim.

vyyq

Config files for my GitHub profile.

xda

xgadget

Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.

xv6-public

xv6 OS

xv6-riscv

Xv6 for RISC-V