Beast code in Giters

petreeftime's starred repositories

modern-unix

A collection of modern/faster/saner alternatives to common unix commands.

3013200

aws-nitro-enclaves-llm

Large language model inference over confidential data using AWS Nitro Enclaves

Language:PythonMIT-0500

piper

A fast, local neural text to speech system

Language:C++MIT457100

awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

MIT27900

markdoc

A powerful, flexible, Markdown-based authoring framework.

Language:TypeScriptMIT704700

unikraft

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

Language:CNOASSERTION238800

high-assurance-rust

A free book about developing secure and robust systems software.

Language:Rust126900

veraison

This repo is used for managing conversations about Veraison features

Apache-2.05200

gaggiuino

A Gaggia Classic control project using microcontrollers.

Language:C++NOASSERTION177400

MIRAI

Rust mid-level IR Abstract Interpreter

Language:RustMIT97000

kani

Kani Rust Verifier

Language:RustApache-2.0199300

A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET, TFTP, WS and WSS. libcurl offers a myriad of powerful features

Language:CNOASSERTION3452000

veracruz

Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).

Language:RustMIT18400

linux

Adding support for the Rust language to the Linux kernel.

Language:CNOASSERTION381800

ajour

A World of Warcraft addon manager written in Rust.

Language:RustGPL-3.0101500

aws-nitro-enclaves-cli

Tooling for Nitro Enclave Management

Language:RustApache-2.011500

bottlerocket

An operating system designed for hosting containers

Language:RustNOASSERTION827200

community

rust-vmm community content

47100

cbor

CBOR support for serde.

Language:RustApache-2.029800

thrift

Apache Thrift

Language:C++Apache-2.01019300

s2n-tls

An implementation of the TLS/SSL protocols

Language:CApache-2.0445300

COSE-JAVA

JAVA implementation of the COSE specification

Language:JavaBSD-3-Clause3000

cargo-udeps

Find unused dependencies in Cargo.toml

Language:RustNOASSERTION156400

Proton

Compatibility tool for Steam Play based on Wine and additional components

Language:C++NOASSERTION2304800

innative

A native non-web embedding of WebAssembly for Windows/Linux

Language:C++Apache-2.038500

wasmer

🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

Language:RustMIT1803800

free-programming-books

:books: Freely available programming books

CC-BY-4.032307800

firecracker

Secure and fast microVMs for serverless computing.

Language:RustApache-2.02430100

ck

Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.

Language:CNOASSERTION231100