jurajselep's Stars
OATML-Markslab/Tranception
Official repository for the paper "Tranception: Protein Fitness Prediction with Autoregressive Transformers and Inference-time Retrieval"
karpathy/nanoGPT
The simplest, fastest repository for training/finetuning medium-sized GPTs.
riffusion/riffusion-hobby
Stable diffusion for real-time music generation
karpathy/minGPT
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
parikls/mem_usage_ui
Measuring and graphing memory usage of local processes
mitschabaude/montgomery
Fast implementation of multi-scalar multiplication in WebAssembly
yrrid/submission-wasm-msm
jart/blink
tiniest x86-64-linux emulator
zksecurity/noname
Noname: a programming language to write zkapps
qingsongedu/time-series-transformers-review
A professionally curated list of awesome resources (paper, code, data, etc.) on transformers in time series.
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
YeWR/EfficientZero
Open-source codebase for EfficientZero, from "Mastering Atari Games with Limited Data" at NeurIPS 2021.
Dao-AILab/flash-attention
Fast and memory-efficient exact attention
tezedge/tezedge
Tezos node/shell in Rust. Unfortunately dev has ceased. If you are interested in resurrecting, please contact @drchrispinnock
netblue30/firejail
Linux namespaces and seccomp-bpf sandbox
DREAM-DK/MAKRO
tezos-contrib/awesome-tezos
A curated list of awesome things in Tezos ecosystem
rust-lang/rust
Empowering everyone to build reliable and efficient software.
tezedge/tezedge-tui
tezedge/tezedge-explorer
TezEdge | Explorer
nanovms/nanos
A kernel designed to run one and only one application in a virtualized environment
jgrahamc/httpdiff
Perform the same request against two HTTP servers and diff the results
tezedge/tezedge-actor-system
Easily build efficient, highly concurrent and resilient applications. An Actor Framework for Rust.
bottlerocket-os/bottlerocket
An operating system designed for hosting containers
a13xp0p0v/linux-kernel-defence-map
Linux Kernel Defence Map shows the relationships between vulnerability classes, exploitation techniques, bug detection mechanisms, and defence technologies
utsaslab/crashmonkey
CrashMonkey: tools for testing file-system reliability (OSDI 18)
tezedge/tezedge-fuzzing
vlad9486/consensus-simulator
google/bbr
axboe/fio
Flexible I/O Tester