Home Assistant Configuration

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

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

Run declarative NixOS containers without full system rebuilds

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

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

Financial data platform for analysts, quants and AI agents.

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

A fast CLI documentation searcher for Nix.

Dapp, Seth, Hevm, and more

💥💻💥 A data-parallel functional programming language

👾 Modern and minimalist pixel editor

K framework proof explorer & smart contract specification format

exploring js-tendermint dep graph under sesify

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

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

Yet another Vim colorscheme on GitHub. Inspired by Molokai.

The Kovri I2P Router Project

HTML5/EPUB3 version of SICP

This repository has been moved to dapphub/dapptools

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

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

Blazingly fast EVM test runner

Javascript library for publishing and consuming Ethereum packages.

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

Free implementation of Play Services

Better tools for thought

Run Solidity unit tests using the Parity engine

A Lem formalization of EVM and some Isabelle/HOL proofs