8000 zeldovich (Nickolai Zeldovich) / Starred · GitHub
[go: up one dir, main page]
Skip to content
View zeldovich's full-sized avatar
337 followers · 1 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Organizations

@mit-pdos @vuvuzela

Block or report zeldovich

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

foks-proj / go-foks

Go implementation of FOKS -- client and server

Go 463 29 Updated Nov 7, 2026

davejcameron / custom_components

Custom Components for HomeAssistant.io

Python 1 3 Updated Jan 5, 2018

mit-pdos / vmvcc

Go 30 4 Updated May 8, 2025

wazero / wazero

wazero: the zero dependency WebAssembly runtime for Go developers

Go 6,465 372 Updated Oct 19, 2026

mit-pdos / perennial

Verifying concurrent storage and distributed systems

Lean 258 53 Updated Nov 11, 2026

qpdf / qpdf

qpdf: A content-preserving PDF document transformer

C++ 5,577 418 Updated Sep 26, 2026

turbolent / w2c2

Translates WebAssembly modules to portable C

WebAssembly 832 50 Updated Nov 11, 2026

WebAssembly / wabt

The WebAssembly Binary Toolkit

C++ 8,200 843 Updated Nov 11, 2026

libraries / pywasm

A WebAssembly interpreter written in pure Python

WebAssembly 523 45 Updated Oct 19, 2026

meson800 / touchstone-auth

Access Touchstone SSO sites easily without a web browser.

Python 10 4 Updated Nov 5, 2025

model-checking / kani

A model checker for Rust programs.

Rust 3,668 195 Updated Nov 10, 2026

replydev / cotp

Encrypted, command-line TOTP/HOTP authenticator app with import functionality.

Rust 395 28 Updated Nov 5, 2026

fosskers / totp-lite

A simple, correct TOTP library.

Rust 33 6 Updated Jun 23, 2026

bahamas10 / unifi-proxy

a hack to allow direct connections to unifi protect on a different layer 3 network

JavaScript 66 8 Updated Jan 2, 2022

jopohl / urh

Universal Radio Hacker: Investigate Wireless Protocols Like A Boss

Python 12,607 1,063 Updated Dec 19, 2025

algorand / msgp

Go 12 19 Updated Oct 9, 2026

zeldovich / fsnotify

Forked from fsnotify/fsnotify

File system notifications for Go.

Go 2 Updated Oct 26, 2016

algorand / go-algorand

Algorand's official implementation in Go.

Go 1,437 538 Updated Nov 11, 2026

algorand / ledger-app-algorand

C 26 37 Updated Feb 21, 2025

algorandfoundation / specs

Algorand Specifications

TeX 73 38 Updated Nov 2, 2026

mit-pdos / argosy

Proving crash safety for systems with layered recovery

Rocq Prover 16 8 Updated Nov 6, 2026

rwf2 / Rocket

A web framework for Rust.

Rust 25,797 1,646 Updated Oct 23, 2026

DeepSpec / dsss17

Lecture material for DeepSpec Summer School 2017

Coq 91 15 Updated Aug 31, 2021

lsyncd / lsyncd

Lsyncd (Live Syncing Daemon) synchronizes local directories with remote targets

Lua 6,077 476 Updated Nov 27, 2024

vuvuzela / vuvuzela

Private messaging system that hides metadata

Go 2,492 184 Updated Sep 12, 2019

scipr-lab / libsnark

C++ library for zkSNARKs

C++ 1,931 588 Updated Jun 12, 2025

mit-pdos / xv6-public

xv6 OS

C 9,729 4,563 Updated Aug 13, 2024

z3str / Z3-str

A Z3-Based String Constraint Solver

C++ 88 13 Updated Jan 1, 2020

strikeout / mylar

Mylar - Transparent end-to-end encryption for Meteor JS

JavaScript 229 37 Updated Aug 28, 2015

meteor / meteor

Meteor, the JavaScript App Platform

JavaScript 44,796 5,276 Updated Nov 11, 2026
Next
0