Enforce Data Contracts
Compiler and IDE that enables users to build Ethereum contracts
Ethereum smart contract fuzzer
Hardhat is a development environment to compile, deploy, test
Ethereum .Net cross platform integration library
The Smart Contract Programming Language
OpenZeppelin Contracts is a library for secure smart contracts
Static Analyzer for Solidity
JavaScript / TypeScript SDK for building Astrid OS capsules
Onchain-focused SDK with ready-to-use templates and themes
Beyond the basics of Node.js testing
Exemplary fullstack Medium.com clone powered by React, Angular, Node
A library that contains schemas for Amazon Braket
JavaScript/TypeScript/Python/C#/PHP cryptocurrency trading API
Everything required to run your own Base node
A suite of plugins for legal workflows
Solidity Compiler for Solana, Polkadot and Stellar
A Python-based development and testing framework for smart contracts
Modular server management based on NixOS modules
Proxy server for adding push to your API
A library of custom GraphQL Scalars for creating precise schemas
Security analysis tool for EVM bytecode. Supports smart contracts
Repo-local continuity runtime for AI coding agents. Helps them continu
Annotate/link UML and SysML diagrams with TRAK AF elements