hmijail Goto Github PK

1-pixel-wealth

announce-zoom-chat-messages

Announce new chat messages during a Zoom call.

automapper

A convention-based object-object mapper in .NET.

ceedling

Ruby/Rake-based build and test system for C projects

cmock

CMock - Mock/stub generator for C

codewitness

Code Merklization and other approaches to reducing the code contribution to witness size

customsw-uni-t-ut81b

Custom software for multimeters UNI-T UT81B

dafny

Dafny is a verification-aware programming language

docs

Logseq documentation

ecc-ocaml

Elliptic Curves Cryptography for OCaml

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

go-ethereum

Official Go implementation of the Ethereum protocol

itunes_smartplaylist

iTunes Smart playlist parser with Python. Convert to Kodi xsp smart playlists.

k

The K tools

lean-training

Lean training materials

pantheon

An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client

sidechains-besu

An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client

sidechains-samples

Sample code for Atomic Crosschain Transactions

sidechains-web3j

Lightweight Java and Android library for integration with Ethereum clients

simplenote-backup

Backup simplenote as text files

stateless-ethereum-specs

Specifications for the Stateless Ethereum research effort

teku

Java Implementation of the Ethereum 2.0 Beacon Chain

toolkit

The DTrace Toolkit: A set of scripts for use with DTrace on various systems.

trufflesuite.com

Truffle Suite website source

turbo-geth

userthreads

Threads implemented on userland with C/POSIX - no assembler