Artur Cygan

Nix Packages collection

My own dotfiles and configs

No description.

Exploit Development and Reverse Engineering with GDB Made Easy

Consul strategy for libcluster

Nix-based environment for pwning

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.

CTF framework and exploit development library

Internet-scale Neural Networks

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

Nix, the purely functional package manager

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.

Programming language for literate programming law specification

Prototyped project for university

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

Minimalistic governance & ledger toolkit for cold wallets

Synced with SGX101 gitbook.

Substrate: The platform for blockchain innovators

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

Dapp, Seth, Hevm, and more

C/C++ library for processing configuration files

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

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.

Ethereum fuzz testing framework

Generate Nix build instructions from a Cabal file

📝 Manage your Zettelkasten in {n}vim.

icalendar.rb main repository

An Elixir interface to the Bugsnag API

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

No description.

a modular Ruby webserver interface

Symbolic execution tool

No description.

N-body simulation implementation

A database wrapper and language integrated query for Elixir

SQL-based adapters for Ecto and database migrations

Sources for the PureScript book

Interface for HTTP webservers, frameworks and clients

Erlang/OTP

HTTP web server and client, supports http1 and http2

Elixir is a dynamic, functional language designed for building scalable and maintainable applications

A specification and conveniences for composable modules between web applications

A pure Elixir implementation of release packaging functionality for the Erlang VM

A light Elixir wrapper around exometer.

An adapter for using Timex DateTimes with Ecto

Password hashing library (bcrypt, pbkdf2_sha512) for the Elixir programming language

Visualize Erlang Nodes On The Command Line

Website for Elixir

User documentation for CircleCI

Automatically generate a release for your Elixir project!

Tiny http server engine written in Swift programming language.

Productive. Reliable. Fast.

prototype of stream based programming language

Delayed Messaging for RabbitMQ

The Clojure programming language

No description.

Simple application for testing employee candidate code skills and knowledge. Currently it's more suitable for testing front-end, JavaScript/CoffeeScript developers.

Ansible modules - these modules ship with ansible

Open Source, Distributed, RESTful Search Engine

Heimdall is a wrapper around the Security framework for simple encryption/decryption operations.

No description.

Manage Procfile-based applications

Mirror of Apache Kafka

Simple, efficient background processing for Ruby

Sucker Punch is a Ruby asynchronous processing library using Celluloid, heavily influenced by Sidekiq and girl_friday.

Ruby on Rails