Skip to content
View arcz's full-sized avatar
91 followers · 16 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Mars 2020 ContributorAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Mars 2020 ContributorAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Organizations

@NixOS @trailofbits @rspine @crytic @justcatthefish

Block or report arcz

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.

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

  • dotfiles Public

    My own dotfiles and configs

    Shell 1 Updated Jan 22, 2025

  • nix Public

    Forked from NixOS/nix

    Nix, the purely functional package manager

    C++ GNU Lesser General Public License v2.1 Updated Oct 8, 2024

  • tamarin-prover Public

    Forked from tamarin-prover/tamarin-prover

    Main source code repository of the Tamarin prover for security protocol verification.

    Haskell GNU General Public License v3.0 Updated Oct 7, 2024

  • zbar Public

    Forked from mchehab/zbar

    ZBar is an open source software suite for reading bar codes from various sources, including webcams. As its development stopped in 2012, I took the task of keeping it updated with the V4L2 API. Thi…

    C GNU Lesser General Public License v2.1 Updated Jul 30, 2024

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix MIT License Updated Apr 8, 2024

  • catala Public

    Forked from CatalaLang/catala

    Programming language for literate programming law specification

    OCaml Apache License 2.0 Updated Sep 13, 2023

  • hevm Public

    Forked from ethereum/hevm
    Haskell GNU Affero General Public License v3.0 Updated Aug 21, 2023

  • echidna Public

    Forked from crytic/echidna

    Ethereum fuzz testing framework

    Haskell GNU Affero General Public License v3.0 Updated Jul 11, 2023

  • bittensor Public

    Forked from opentensor/bittensor

    Internet-scale Neural Networks

    Python MIT License Updated Mar 21, 2023

  • pwnix Public

    Nix-based environment for pwning

    Nix 1 Updated Nov 11, 2022

  • pwndbg Public

    Forked from pwndbg/pwndbg

    Exploit Development and Reverse Engineering with GDB Made Easy

    Python MIT License Updated Nov 11, 2022

  • llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…

    Other Updated Nov 1, 2022

  • dapptools Public

    Forked from dapphub/dapptools

    Dapp, Seth, Hevm, and more

    Haskell Updated Jul 27, 2022

  • quill Public

    Forked from dfinity/quill

    Minimalistic governance & ledger toolkit for cold wallets

    Rust Apache License 2.0 Updated Jan 19, 2022

  • ic Public

    Forked from dfinity/ic

    Internet Computer blockchain source: the client/replica software run by nodes

    Rust Other Updated Nov 22, 2021

  • sgx101-gitbook Public

    Forked from sslab-gatech/sgx101-gitbook

    Synced with SGX101 gitbook.

    Updated Aug 20, 2021

  • substrate Public

    Forked from paritytech/substrate

    Substrate: The platform for blockchain innovators

    Rust Apache License 2.0 Updated Aug 2, 2021

  • ethereum-org-website Public

    Forked from ethereum/ethereum-org-website

    Ethereum.org is a primary online resource for the Ethereum community.

    JavaScript MIT License Updated Jun 25, 2021

  • libconfig Public

    Forked from hyperrealm/libconfig

    C/C++ library for processing configuration files

    C GNU Lesser General Public License v2.1 Updated May 10, 2021

  • lib3mf Public

    Forked from 3MFConsortium/lib3mf

    lib3mf is an implementation of the 3D Manufacturing Format file standard

    C++ BSD 2-Clause "Simplified" License Updated May 5, 2021

  • cabal2nix Public

    Forked from NixOS/cabal2nix

    Generate Nix build instructions from a Cabal file

    Haskell Other Updated Nov 30, 2020

  • neuron.vim Public

    Forked from fiatjaf/neuron.vim

    📝 Manage your Zettelkasten in {n}vim.

    Vim Script MIT License Updated Nov 15, 2020

  • nsjail Public

    Forked from google/nsjail

    A light-weight process isolation tool, making use of Linux namespaces and seccomp-bpf syscall filters (with help of the kafel bpf language)

    C++ Apache License 2.0 Updated Jul 7, 2020

  • crytic-compile Public

    Forked from crytic/crytic-compile
    Python GNU Affero General Public License v3.0 Updated Oct 1, 2019

  • manticore Public

    Forked from trailofbits/manticore

    Symbolic execution tool

    Python GNU Affero General Public License v3.0 Updated Aug 7, 2019

  • ecto Public

    Forked from elixir-ecto/ecto

    A database wrapper and language integrated query for Elixir

    Elixir Other Updated Oct 29, 2018

  • ecto_sql Public

    Forked from elixir-ecto/ecto_sql

    SQL-based adapters for Ecto and database migrations

    Elixir Other Updated Oct 8, 2018

  • purescript-book Public

    Forked from paf31/purescript-book

    Sources for the PureScript book

    PureScript Updated Aug 23, 2018

  • raxx Public

    Forked from CrowdHailer/raxx

    Interface for HTTP webservers, frameworks and clients

    Elixir Apache License 2.0 Updated Jul 31, 2018

  • Ace Public

    Forked from CrowdHailer/Ace

    HTTP web server and client, supports http1 and http2

    Elixir MIT License Updated Jul 4, 2018