d-xo - Giters

dxo 's repositories

klab-init

Klab template and small tutorial

Language:GCC Machine DescriptionAGPL-3.02 20

untrustix-git

prototype git based build transparency log

Language:Python020

act

Smart contract specification language

Language:HaskellAGPL-3.0010

bean-fetch

Language:Python030

circles-contracts

fully automated luxury gay space communism contracts

Language:JavaScriptAGPL-3.0000

crcl-frontend

Language:JavaScriptUnlicense020

ds-calls

Language:Makefile020

ds-chief

approval voting to select who wears the hat by consensus

Language:MakefileGPL-3.0020

dss

Dai Stablecoin Simulation

Language:MakefileAGPL-3.0020

EVM-Assembler

Ethereum Virtual Machine Assembler

Language:C010

git-remote-s3

Push and pull git repos to/from an s3 bucket, encrypted using gpg.

Language:RustMIT010

gov-submitter

Language:JavaScriptAGPL-3.0010

haskell-playground

Language:HaskellBSD-3-Clause020

keystone

Node.js CMS and web app framework

Language:JavaScriptMIT020

klab-delegatecall

Language:GCC Machine DescriptionAGPL-3.0020

klab-delegatecall-dapp

Language:Makefile020

klab-erc20-dapp

020

klab-erc20-spec

Language:GCC Machine DescriptionAGPL-3.0020

klab-learn-solidity

Language:Makefile020

klab-learn-spec

Language:GCC Machine DescriptionAGPL-3.0020

libp2p-rs-failing-example

Language:Nix020

poetry2nix

Convert poetry projects to nix automagically [maintainer=@adisbladis]

Language:Nix010

qutebrowser

A keyboard-driven, vim-like browser based on PyQt5.

Language:PythonGPL-3.0010

r13y.com

NixOS Reproducibility Checker

Language:RustMIT010

seth-docker

Language:Nix020

solidity

Solidity, the Contract-Oriented Programming Language

Language:C++GPL-3.0030

terranix

Deploys with Terraform + NixOS

Language:ShellAGPL-3.0010

untrustix-git-testdata

test repo for git based build transparancy

020

untrustix-git-testdatata-small

020

vimium

The hacker's browser.

Language:JavaScriptMIT010