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
12,169–12,192 of 13,534 · Most stars
Options & input processing for modern Fortran
A full-featured polyfill for customized built-in elements
- javascript
- webcomponents
- polyfill
- builtin
A library that wraps OpenSSL, but also has pure Julia implementations for reference.
DraftJS: export ContentState to PdfMake content object
- draft-js
- pdfmake
- react
A Python package to analyze matrix fiber orientation and intensity around cells as a proxy for cellular forces. Also measures alignment relative to X/Y axes, points and lines, with optional masks, a Python API and browser tools for analysis and group comparisons.
- contractility
- orientation
- fibrosis
- mechanobiology
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
libsodium for Ada - A secure cryptographic library