d-xo/act2 d-xo/act2

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Haskell
  • License
    GNU Affero Genera...
  • Created over 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
d-xo/act2
github

d-xo

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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

tree-sitter-act

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

klab-init

Klab template and small tutorial
GCC Machine Description
2
star
6

builder

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

act-examples

Nix
1
star
8

actlib

Coq
1
star