Skip to content
View henridf's full-sized avatar

Block or report henridf

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Showing results

aider is AI pair programming in your terminal

Python 39,052 3,744 Updated Dec 18, 2025

DSPy: The framework for programming—not prompting—language models

Python 30,864 2,479 Updated Dec 19, 2025

An unofficial Copilot plugin for Emacs.

Emacs Lisp 2,232 165 Updated Dec 10, 2025

Specification of the Farcaster Protocol

2,207 347 Updated Dec 11, 2024

OCaml Language Server Protocol implementation

OCaml 873 150 Updated Dec 18, 2025

The main repository for the TrueBlocks system

Shell 1,092 221 Updated Nov 28, 2025

System-wide Web3 for macOS, Windows and Linux

JavaScript 1,166 165 Updated Mar 17, 2025

Dapp, Seth, Hevm, and more

Haskell 2,134 322 Updated Feb 25, 2025

Emacs client/library for the Language Server Protocol

Emacs Lisp 5,040 950 Updated Dec 17, 2025
TypeScript 23 7 Updated Dec 8, 2021

Repository for Huff - an EVM programming language

JavaScript 239 25 Updated Feb 24, 2020

A boilerplate for building production-ready RESTful APIs using Node.js, Express, and Mongoose

JavaScript 7,545 2,217 Updated Jul 8, 2024

The operating system for seamlessly connecting Ethereum to any user's bank account

JavaScript 137 29 Updated Oct 25, 2021

An Emacs framework for the stubborn martian hacker

Emacs Lisp 21,382 3,145 Updated Dec 18, 2025

Python CLI utility and library for manipulating SQLite databases

Python 1,953 123 Updated Dec 17, 2025

(deprecated) The fast, light, and robust client for the Ethereum mainnet.

Rust 1,640 361 Updated May 23, 2022

Go implementation of the Ethereum protocol

Go 50,498 21,651 Updated Dec 19, 2025

Collection of comprehensive TypeScript libraries for Interaction with the Ethereum JSON RPC API and utility functions.

TypeScript 19,966 5,085 Updated Mar 5, 2025

Repository for setup and analysis of data models, formats, and processing pipelines

Python 2 3 Updated Jun 9, 2022

Network Analysis Tool

C# 3,313 358 Updated Apr 10, 2023

Work with Git forges from the comfort of Magit

Emacs Lisp 1,480 131 Updated Dec 1, 2025

Build Suricata for packaging with Brim

Go 8 1 Updated Mar 17, 2023

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Nim 17,585 1,504 Updated Dec 18, 2025

Parallel Programming over Domains

OCaml 182 31 Updated Dec 18, 2025
JavaScript 23 4 Updated May 20, 2024

Lightweight alternative to github.com/prometheus/client_golang

Go 655 76 Updated Dec 5, 2025

the missing macOS app notarization helper, built with Rust

Rust 647 22 Updated Jul 10, 2022

Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.

TypeScript 1,912 136 Updated Dec 18, 2025

Models of COVID-19 outbreak trajectories and hospital demand

JavaScript 1,352 347 Updated Feb 15, 2022
Next