dxo (@d-xo)
github

d-xo

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    907
  • Global Rank 33,677 (Top 2 %)
  • Followers 198
  • Following 42
  • Registered almost 11 years ago
  • Most used languages
    Coq     11.1 %
    Haskell
         11.1 %
    Go
         11.1 %
    Solidity
         11.1 %
    GCC Machine Description     11.1 %
    Nix
         11.1 %
    Shell
         11.1 %
    Python
         11.1 %
    C
         11.1 %

Top repositories

1

weird-erc20

weird erc20 tokens
Solidity
904
star
2

cpp-boilerplate

Simple cpp boilerplate with cmake and gtest
Python
18
star
3

liquidator-contracts

MakerDAO CDP Closing Service
Shell
9
star
4

act2

Haskell
5
star
5

tree-sitter-act

tree-sitter parser for the [act](https://github.com/ethereum/act) specification language
C
2
star
6

klab-init

Klab template and small tutorial
GCC Machine Description
2
star
7

builder

Manage isolated per project build / test environments
Go
1
star
8

act-examples

Nix
1
star
9

actlib

Coq
1
star