Create your own GitHub profile
Join the platform over 36 million developers call home for hosting code, managing projects, and building their best software.
Sign up for free See pricing for teams and enterprises
Popular repositories
-
ntfs
A pure Python module to manipulate NTFS junctions and hardlinks.
-
firewall-auth
IITK firewall auth
-
jsdict
Dictionaries using ECMAScript proxies
JavaScript 17
-
z3.rkt
Racket bindings for Z3
-
overlay-extension
Windows taskbar icon overlay extension. Code under the Mozilla tri-license (MPL/GPL/LGPL).
-
numbermind
A Numbermind web app written in Racket using z3.rkt
103 contributions in the last year
Contribution activity
April 2019
Created an issue in stepancheg/rust-protobuf that received 1 comment
write_to_bytes is infallible but returns a Result
rust-protobuf/protobuf/src/core.rs Line 114 in 81152b3
This is infallible because the Bytes code path in CodedOutputStream can never fai…