mhhf

mhhf's Stars

• pasky/claude.vim

  Claude vim plugin for AI pair programming - a hacker's gateway to LLMs

  Language:Vim Script1685

• WerWolv/ImHex

  🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

  Language:C++43.9k1.9k

• chrisamaphone/ceptre-editor

  Language:JavaScript1

• erikarvstedt/extra-container

  Run declarative NixOS containers without full system rebuilds

  Language:Shell20716

• niespodd/browser-fingerprinting

  Analysis of Bot Protection systems with available countermeasures 🚿. How to defeat anti-bot system 👻 and get around browser fingerprinting scripts 🕵️‍♂️ when scraping the web?

  Language:JavaScript4.1k226

• papis/papis

  Powerful and highly extensible command-line based document and bibliography manager.

  Language:HTML1.4k97

• OpenBB-finance/OpenBB

  Investment Research for Everyone, Everywhere.

  Language:Python30.4k2.8k

• jvanbruegge/isabelle-lambda-calculus

  A formal definition and verification of System F. To be extended to System Fc

  Language:Isabelle101

• mlvzk/manix

  A fast CLI documentation searcher for Nix.

  Language:Rust34519

• dapphub/dapptools

  Dapp, Seth, Hevm, and more

  Language:Haskell2.1k325

• diku-dk/futhark

  :boom::computer::boom: A data-parallel functional programming language

  Language:Haskell2.4k165

• cloudhead/rx

  👾 Modern and minimalist pixel editor

  Language:Rust3.1k109

• dapphub/klab

  K framework proof explorer & smart contract specification format

  Language:JavaScript12436

• kumavis/tendermint-deps-explorer

  exploring js-tendermint dep graph under sesify

  Language:JavaScript3

• Schachte/Mermrender

  🧜‍♀️ RESTful rendering pipeline for generating sequence and UML diagrams using Mermaid for Markdown docs (Diagrams as a Service)

  Language:JavaScript91727

• dapphub/seth

  (OLD REPO) The command-line Ethereum army knife by DappHub

  14725

• josuegaleas/jay

  Yet another Vim colorscheme on GitHub. Inspired by Molokai.

  Language:Vim script374

• monero-project/kovri

  The Kovri I2P Router Project

  Language:C++571114

• sarabander/sicp

  HTML5/EPUB3 version of SICP

  Language:HTML4.3k599

• dapphub/dapp

  This repository has been moved to dapphub/dapptools

  24949

• mermaid-js/mermaid

  Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

  Language:JavaScript71k6.4k

• staltz/cycle-onionify

  MIGRATED! This was transfered to https://cycle.js.org/api/state.html

  Language:JavaScript28019

• dapphub/dapple-quicktest

  Blazingly fast EVM test runner

  Language:JavaScript23

• trufflesuite/ethpm-js

  Javascript library for publishing and consuming Ethereum packages.

  Language:JavaScript3413

• you-dont-need/You-Dont-Need-JavaScript

  CSS is powerful, you can do a lot of things without JS.

  Language:HTML19k1.2k

• microg/GmsCore

  Free implementation of Play Services

  Language:Java8.3k1.7k

• witheve/Eve

  Better tools for thought

  Language:TypeScript7.2k257

• lessrest/quickrun

  Run Solidity unit tests using the Parity engine

  Language:Rust21

• pirapira/eth-isabelle

  A Lem formalization of EVM and some Isabelle/HOL proofs

  Language:Isabelle23642

• mxgmn/WaveFunctionCollapse

  Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

  Language:C#23.2k1.2k