A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Repository Index
62,272 visible repositories in the index
265–273 of 273 · Most stars
Crow API is an AWS CDK Construct that makes creating an API fast and easy by basing the structure on the app's file structure.
- aws
- aws-lambda
- aws-apigateway
- aws-cdk
clinfer (short for CLI inference) automatically generates CLIs from standard JS objects, classes or ES modules. Each method generates a "command", and each field an "option". The help is produced automatically.
- cli
- command-line-tool
- parser
- args
Wallet info for your favourite Dotsama cryptocurrencies like Polkadot (DOT), Kusama (KSM), Moonbeam (GLMR), Astar (ASTR), Acala (ACA), Subsocial (SUB), and other Substrate chains in the ecosystem.
- acala
- asset-management
- astar
- crypto-portfolio
This repository is used to share Sitecore XM Cloud vertical demo assets with external contributors and partners
Claim the 👑 Crown and the 🪄 Sceptre of Algorand Realm (CLI Emulator Edition)
- algorand
- algorand-blockchain
- algorand-smart-contract
- algorand-standard-assets
The repository not only provides users who are starting out with Content Hub ONE, Sitecore's pure headless CMS, with the assets they need to showcase the product, but also allows them to learn how it was built from a real world example.
The repository host gives no description.
Convert Homie MQTT devices (v3, v4 and v5) into Home Assistant MQTT discovery with robust entity mapping, granular overrides, CLI and Node.js APIs.
- cli
- device-discovery
- home-assistant
- home-assistant-discovery