arcz

dotfiles

My own dotfiles and configs

pwnix

Nix-based environment for pwning

Ace

HTTP web server and client, supports http1 and http2

bittensor

Internet-scale Neural Networks

cabal2nix

Generate Nix build instructions from a Cabal file

catala

Programming language for literate programming law specification

crytic-compile

dapptools

Dapp, Seth, Hevm, and more

echidna

Ethereum fuzz testing framework

ecto

A database wrapper and language integrated query for Elixir

ecto_sql

SQL-based adapters for Ecto and database migrations

ethereum-org-website

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

hevm

ic

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

lib3mf

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

libconfig

C/C++ library for processing configuration files

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 http://reviews.llvm.org.

manticore

Symbolic execution tool

neuron.vim

📝 Manage your Zettelkasten in {n}vim.

nixpkgs

Nix Packages collection

nsjail

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

otp

Erlang/OTP

purescript-book

Sources for the PureScript book

pwndbg

Exploit Development and Reverse Engineering with GDB Made Easy

quill

Minimalistic governance & ledger toolkit for cold wallets

raxx

Interface for HTTP webservers, frameworks and clients

sgx101-gitbook

Synced with SGX101 gitbook.

substrate

Substrate: The platform for blockchain innovators

tamarin-prover

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

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. This is the main repository for it. There's a clone at at LinuxTV.org, and another one at gitlab.