hellwolf

imgui

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

serenity

The Serenity Operating System 🐞

xdg-ninja

A shell script which checks your $HOME for unwanted files and directories.

building-secure-contracts

Guidelines and training material to write secure smart contracts

smart-contract-sanctuary

🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

jupyenv

Declarative and reproducible Jupyter environments - powered by Nix

monomer

An easy to use, cross platform, GUI library for writing Haskell applications.

awesome-frames

All the best Farcaster Frames resources in one place

Yampa

Functional Reactive Programming domain-specific language for efficient hybrid systems

merkle-tree

A JavaScript library to generate merkle trees and merkle proofs.

blutgang

the wd40 of ethereum load balancers

dashboards

A collection of dashboards related to Ethereum

evmole

Extracts function selectors and arguments from bytecode, even for unverified contracts

jaspervdj

Source code of my personal home page.

mig

Lightweight and composable servers for Haskell

horus-checker

Horus, a formal verification tool for StarkNet smart contracts.

really-safe-money

Uncompromisingly safe money library

based-adventure

Farcaster Frames Text-based Adventure on the Base L2

calculang

calculang is a language for calculations 🧮💬👩‍💻

botan

Haskell bindings for the Botan cryptography library

farcaster-signup-demo

ofac-ethereum-addresses

A list of Ethereum addresses on the OFAC SDN list.

realworld-haskell-scotty-example

Haskell + Scotty example RealWorld API implementation for https://realworld.io

stackage-snapshots

LTS Haskell and Stackage Nightly snapshot configurations (experimental, for pantry)

snail

A programming language for gastropods

editor

conformance

centjes

monoidal-stats

purely-poker