A port of Coq to Javascript -- Run Coq in your Browser

Run the Coq Proof Assistant in your browser! jsCoq is an Online Integrated Development Environment for the Coq proof assistant and runs in your browser! We aim to enable new UI/interaction possibilities and to improve the acce

Related Repos



zmitton Eth-Heap What? A Binary Heap data structure is the simplest implementation of a Priority Queue (for instance order-books). It "partially sorts" data so that the highest priority item can always be found instantly at th
 

AquiGorka P2P Connect Experiment Using QR codes to share signalling data between two devices a WebRTC connection is established. Open up https://aquigorka.com/webrtc-qr/ in a desktop browser and in a mobile browser. In either browser
 

AshleyScirra Via.js: use the DOM in a Web Worker Web Workers have a few APIs, but most web APIs are still only available in the main thread. This makes it harder to use workers when you need access to features like document, CSS styles, i
 

aviaviavi Toodles Toodles scrapes your entire repository for TODO entries and organizes them so you can manage your project directly from the code. View, filter, sort, and edit your TODO's with an easy to use web application. When you
 

mgechev About This repository contains JavaScript implementations of famous computer science algorithms. API reference with usage examples available here. Development To install all dev dependencies Call: npm install
 

mgechev Introduction The goal of this style guide is to present a set of best practices and style guidelines for one AngularJS application. These best practices are collected from: AngularJS source code Source code or articles I'
 

mgechev codelyzer A set of tslint rules for static code analysis of Angular TypeScript projects. (If you are using ESLint check out the new angular-eslint repository.) You can run the static code analyzer over web apps, Nati
 

fwh1990 Introduction Cache your data with TTL. Using this package in node.js and browser. Installation By npm npm install cache-bucket Or by yarn yarn add cache-bucket Support Node.js FileCache