Pinned Loading

1. Dung Dung Public

   An implementation of Dung's argumentation frameworks

   Haskell 11

2. CarneadesDSL CarneadesDSL Public

   An implementation and DSL for the Carneades argumentation model.

   Haskell 2

3. NomicFoundation/slang NomicFoundation/slang Public

   Solidity compiler tooling by @NomicFoundation

   Rust 288 50

4. NomicFoundation/solx NomicFoundation/solx Public

   LLVM-based Solidity compiler.

   Solidity 190 22

5. NomicFoundation/edr NomicFoundation/edr Public

   An Ethereum development runtime implementation that can be reused to build new developer tools.

   TypeScript 111 52

6. sourcify-corpora sourcify-corpora Public

   Sourcify corpora used for testing