Skip to content
View ebuchman's full-sized avatar
🌲
Building Cosmos
🌲
Building Cosmos

Organizations

@cosmos @informalsystems @cometbft

Block or report ebuchman

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
14 stars written in C
Clear filter

Linux kernel source tree

C 184,814 54,517 Updated Dec 24, 2024

Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…

C 52,961 25,737 Updated Dec 23, 2024

A modern, portable, easy to use crypto library.

C 12,391 1,751 Updated Dec 21, 2024

Leaked Mirai Source Code for Research/IoC Development Purposes

C 8,577 3,460 Updated Dec 6, 2023

An encrypted IPv6 network using public-key cryptography for address allocation and a distributed hash table for routing.

C 5,198 589 Updated Nov 13, 2024

An implementation of the TLS/SSL protocols

C 4,544 712 Updated Dec 23, 2024

Jsmn is a world fastest JSON parser/tokenizer. This is the official repo replacing the old one at Bitbucket

C 3,730 782 Updated Jun 9, 2024

Command-line client code for Tarsnap.

C 879 60 Updated Dec 21, 2024

SeaHorn Verification Framework

C 442 130 Updated Sep 4, 2024

A kernelspace syscall interceptor and randomized faulter

C 350 35 Updated Nov 18, 2024

Checking that functions are constant time with Valgrind

C 177 15 Updated Feb 26, 2017

Secure (ST31) SDK for Ledger Nano S

C 97 53 Updated Jun 6, 2024

A high-security scalable solution for online backups.

C 46 9 Updated Oct 29, 2014

Byzantine model checker

C 21 5 Updated Mar 7, 2023