Pinned Repositories
codetracer
CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
Nim
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, and elegance (in that order of priority).
nim-chronicles
A crafty implementation of structured logging for Nim.
nim-confutils
Simplified handling of command line options and config files
nimbus-eth2
Nim implementation of the Ethereum Beacon Chain
grip-lang
Nimrod is a compiled, garbage-collected systems programming language which has an excellent productivity/performance ratio. Nimrod's design focuses on the 3E: efficiency, expressiveness, elegance (in the order of priority).
InstantSprite
A fork of the InstantSprite generator used internally at AB.
nim-package-visible-types
A hacky helper lib for authoring Nim packages with package-level visiblity
nim.atom
Nim language plugin for Atom
nim.vim
Nim language plugin for vim
zah's Repositories
zah/nim.vim
Nim language plugin for vim
zah/nim.lt
Nim language plugin for Light Table
zah/ntags
Mirror of Reimer Behrends's ntags repository
zah/coda-exporter
Simple script for exporting coda.io workspaces for back-up or migration purposes
zah/disko
Format disks with nix-config [maintainer=@Lassulus]
zah/hackercouch
Couchsurfing for hackers
zah/import-env
import-env is *direnv*’s “env diff” algorithm, but standalone and shell-agnostic.
zah/keymanager-APIs
Collection of RESTful APIs provided by Ethereum consensus keymanagers
zah/blst
Multilingual BLS12-381 signature library
zah/css-in-readme-like-wat
Style your readme using CSS with this simple trick
zah/EIPs
The Ethereum Improvement Proposal repository
zah/ethereum-genesis-generator
Create a ethereum execution and consensus layer testnet genesis and expose it via a webserver for testing purposes
zah/flake-utils
Pure Nix flake utility functions
zah/gnosis-chain-configs
zah/infra-role-beacon-node-linux
Ansible role for Nimbus Eth2 beacon node on Linux
zah/infra-role-validator-client
Ansible role for Nimbus validator client
zah/infra-utils
Various utilities and scripts used in infrastructure.
zah/kanata
Improve keyboard comfort and usability with advanced customization
zah/kanata-vk-agent
Control kanata virtual keys while observing frontmost app and input source on macOS to enable application and input source aware key mapping
zah/lean4
Lean 4 programming language and theorem prover
zah/membership-1
WIP - this repo generates the Protocol Guild documentation.
zah/mergenet-tutorial
How to setup a multi-client ethereum Eth1-Eth2 merge testnet
zah/nim-presto
REST API framework for Nim language
zah/nimbus-eth2
Nim implementation of the Ethereum 2.0 blockchain
zah/nix-darwin
Manage your macOS using Nix
zah/nixpkgs
Nix Packages collection
zah/omarchy-nix
An opinionated NixOS config based on DHH's Omarchy
zah/toledo
Toledo Eth2 testnet
zah/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
zah/withdrawals-testnet