d-xo - Giters

dxo 's repositories

weird-erc20

weird erc20 tokens

Language:Solidity1318 20 5

verified-contracts

Language:Solidity6 30

act2

Language:HaskellAGPL-3.05 40

emarketwithcoin

Language:Solidity2 10

tree-sitter-act

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

Language:C2 20

act-examples

Language:Nix1 20

actlib

Language:Coq1 20

ERC721A

https://ERC721A.org

Language:SolidityMIT1 10

hevm-demo

Language:Solidity1 2 1

solc-lean4

Language:Lean1 20

act-contracts

Language:Nix020

act-vim

syntax highlighting in vim for the act smart contract specification language.

Language:Vim Script020

Adv360-Pro-ZMK

Production repository for the all-new Advantage360 Professional using ZMK engine

Language:ShellMIT010

balancer2

Language:JavaScript010

cav-hevm-artifact

Language:ShellGPL-3.0030

crcl-frontend

Language:JavaScriptUnlicense020

haskell-nix-example

Language:Nix020

hevm

symbolic EVM evaluator. https://hevm.dev

Language:HaskellAGPL-3.0010

hm-typecheck

Experimental typechecker for a Solidity intermediate language

000

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixMIT010

ixrs

recursion schemes for indexed gadts

Language:Haskell020

lean-lam

Language:Lean020

memenumbers-contract

An experiment.

Language:ShellMIT010

nixpkgs

Nix Packages collection

Language:NixMIT030

open-game-engine

Haskell implementation of open games

Language:HaskellMIT010

radicle-contracts

Radicle contracts on Ethereum

Language:SolidityNOASSERTION010

solc-pragmas

Language:Makefile020

solgorithms

Language:Solidity010

svm-rs

Solidity-Compiler Version Manager

Language:RustApache-2.0010

symtest-examples

Language:Solidity020