ssun3 Goto Github PK

slogert-rdf

snapstory

👻 A public SnapChat story downloader

software-foundations-coq-workshop

Materijal za radionicu Coq-a prema kursu "Software foundations" (CIS 500) Benjamina Piercea

spiderfoot

SpiderFoot automates OSINT collection so that you can focus on analysis.

sqledge

Replicate postgres to SQLite on the edge

stack

The Haskell Tool Stack

study-semantic-web

summit_ppt

各种安全大会PPT PDF

sysadmin

the flow of time is always cruel

terraform-aws-bastion

Terraform module which creates SSH bastion infrastructure on AWS

test-buddy-pipeline

project to test buddy pipeline

the-book-of-secret-knowledge

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

the-definite-guide-to-arm-exploitation

Code Samples for the book "The Definite Guide to ARM Exploitation"

theos-ref

Theos Docs! (because there never was a chapter 2)

theseus

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware to maximally leverage the power of language safety, and thus shift OS responsibilities like resource management into the compiler.

ticketing

tlpi-dist

The Linux Programming Interface by Michael Kerrisk - Distribution Version

toolchains

Shell script to build gcc for various architectures

training-materials

Bootlin embedded Linux and kernel training materials

ts-sql

A SQL database implemented purely in TypeScript type annotations.

ttygif

Convert terminal recordings to animated gifs

ttypescript

Over TypeScript tool to use custom transformers in the tsconfig.json

typedd-samples

Sample code from "Type Driven Development with Idris"

utg

Unified Terminology Governance

vault-on-aws

A secure Vault for secrets, tokens, keys, passwords, and more. Automated deployment with Terraform on AWS. Configurable options for security and scalability. Usable with any applications and services hosted anywhere.

verdi

A framework for formally verifying distributed systems implementations in Coq

virtual-environments

GitHub Actions virtual environments

virtualbuddy

Virtualize macOS 12 and later on Apple Silicon, VirtualBuddy is a virtual machine GUI for macOS M1 & M2

vocab

A set of vocabularies used in the SEPSES project

vscode

Visual Studio Code