Skip to content
View Cottand's full-sized avatar
15 followers · 10 following
Block or Report

Block or report Cottand

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
Cottand/README.md

Pinned

  1. leng leng Public

    ⚡ fast dns server, built to block advertisements and malware servers

    Go 56 68

  2. Confis Confis Public

    A framework for specifying and querying legal contracts

    TeX 3 3

  3. icivann/ivann icivann/ivann Public

    Visual tool for building neural networks with PyTorch, and generating code in Python in order to train and test them.

    TypeScript 15 1

  4. multi-paxos multi-paxos Public

    Implementation of Multi-Paxos, a consensus algorithm, following the paper "Paxos Made Moderately Complex" by Robbert van Renesse and Deniz Altınbüken.

    Elixir 1

  5. selfhosted selfhosted Public

    My home-lab setup, a cluster of 7 servers running 50-70 containers

    PLpgSQL 9

  6. hash2slash hash2slash Public

    Tiny Nix utility to write nix shell scripts for `//` languages

    Nix 1