A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Repository Index
47,133 repositories indexed
1,873–1,896 of 2,026 · Most stars
🦁 Lottie Animation Component
An endpoint that adds an active auth token to your preview URL
- directus
- directus-extension
- directus-extension-endpoint
- preview
Inertia adapter for Imba.
Font Awesome 5 Aurelia component
- fontawesome
- aurelia
- aurelia-plugins
- javascript
A Live chat application crafted using Glimmer.js
- glimmerjs
- glimmer-apps
- glimmer-application
- glimmer-component
Next.js code coverage for Playwright E2E tests using V8 coverage
Asteroids implementation using Glimmer.js
- glimmerjs
- asteroids
A starter kit designed to help people quickly get started when building out Marketplace apps for Sitecore XM Cloud.
GitHub Action to build Docker images with outbound network access restricted to an allowlist
Share text, code and more on the ATmosphere!
- atproto
- bluesky
- pastebin
Enterprise ready set of web components which work best with Eclipse Furo. Comes with minimal footprint. Based on web standards. Future proved. Compliant with any technology of choice.
- webcomponents
- web
- webstack
- custom-elements
xysfdx is a Rapid development tool for Salesforce SFDX Development. Support Docker, WSL, Dataloader! Metadata diff with server, retrieve standard sobject.
- sfdc
- salesforce
- sfdx-cli
- vscode
Deno Swiss Knife tools
- deno
- typescript
- monitor
- screen
Hackathon Management System
API for Onloc. Manages all of your precious location data.
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
Universal PWA Cycle.js & Koa boilerplate with Webpack configured for ServiceWorker and HMR out of the box
Translated🗺️ Research Data Map — AI-driven global research visualization platform | Research Data Map with 250M+ papers
- academic
- ai
- china
- cloudflare-workers
A notice field that is only visible in the drawer.
- directus
- directus-extension
- directus-extension-interface
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.
Official JS SDK for Subtopia Platform. Build your own UI to interact with Subtopia
- algorand
- dapps
- javascript
- sdk
Command line interface for working with waves RIDE language
- waves
React hooks for integrating with Web Monetization.
- react
- react-hooks
- web-monetization