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
9,721–9,744 of 10,913 · Most stars
A full-featured polyfill for customized built-in elements
- javascript
- webcomponents
- polyfill
- builtin
DraftJS: export ContentState to PdfMake content object
- draft-js
- pdfmake
- react
A small collection of MQTT utilities.
Select Web Component with autocompletion. Based on RxJS and VirtualDOM.
🦁 Lottie Animation Component
A BSON implementation in ActionScript
An endpoint that adds an active auth token to your preview URL
- directus
- directus-extension
- directus-extension-endpoint
- preview
Get the real size of an <img>, <video>, or <canvas> in the browser.
A simple Tetris clone created using HTML5/JavaScript/Phaser
A javascript version of the famous Simon Game
Javascript lib for gantree-cli
ant design pro service,mock,model generator
- ant
- design
- pro
- dva
Check if an object is empty.
Inertia adapter for Imba.
Attack Community Graphs through Event Clustering
This library is a collection of functional idioms for ActionScript 3 based on Haskell and Coffeescript.
A PowerShell scripting library to help with installing SolrCloud clusters on Windows.
- solrcloud
- powershell
Install `wasm-bindgen` by downloading the executable
- rust
- wasm-bindgen
- wasm
- yew
This javascript webapp converts GLSL code from shadertoy.com to Gamemaker GLSL ES as well as output other necessary code to run.
- shadertoy
- gamemaker
- text-processing
This module for the Play! framework provides a plugin to support the Cobertura test coverage tool.
A work in progress API for Uber Eats
- uber-api
- nodejs
- api-wrapper
- food
👛 Tools for managing a vanity Web Monetization wallet
A custom element for iOS style swipeout actions, backed by Hammer.js
- aurelia
- ios
- swipe
- swipeout