Pinned Repositories
announce-zoom-chat-messages
Announce new chat messages during a Zoom call.
customsw-UNI-T-UT81B
Custom software for multimeters UNI-T UT81B
userthreads
Threads implemented on userland with C/POSIX - no assembler
hmijail's Repositories
hmijail/userthreads
Threads implemented on userland with C/POSIX - no assembler
hmijail/announce-zoom-chat-messages
Announce new chat messages during a Zoom call.
hmijail/customsw-UNI-T-UT81B
Custom software for multimeters UNI-T UT81B
hmijail/1-pixel-wealth
hmijail/AutoMapper
A convention-based object-object mapper in .NET.
hmijail/Ceedling
Ruby/Rake-based build and test system for C projects
hmijail/CMock
CMock - Mock/stub generator for C
hmijail/codewitness
Code Merklization and other approaches to reducing the code contribution to witness size
hmijail/dafny
Dafny is a verification-aware programming language
hmijail/darum
Dafny Resource Usage Measurement
hmijail/DevmProofGen
Dafny Evm Proof Generator (experimental)
hmijail/docs
Logseq documentation
hmijail/ECC-OCaml
Elliptic Curves Cryptography for OCaml
hmijail/eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
hmijail/evm-dafny
An EVM interpreter in Dafny
hmijail/go-ethereum
Official Go implementation of the Ethereum protocol
hmijail/itunes_smartplaylist
iTunes Smart playlist parser with Python. Convert to Kodi xsp smart playlists.
hmijail/k
The K tools
hmijail/lean-training
Lean training materials
hmijail/pantheon
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client
hmijail/sidechains-besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client
hmijail/sidechains-samples
Sample code for Atomic Crosschain Transactions
hmijail/sidechains-web3j
Lightweight Java and Android library for integration with Ethereum clients
hmijail/simplenote-backup
Backup simplenote as text files
hmijail/stateless-ethereum-specs
Specifications for the Stateless Ethereum research effort
hmijail/teku
Java Implementation of the Ethereum 2.0 Beacon Chain
hmijail/toolkit
The DTrace Toolkit: A set of scripts for use with DTrace on various systems.
hmijail/trufflesuite.com
Truffle Suite website source
hmijail/turbo-geth