Stars
A tool to install, manage and use Progressive Web Apps (PWAs) in Mozilla Firefox
A maintained, feature-rich and performance oriented, neofetch like system information tool.
A calmer internet, without any gimmicks.
The next generation Linux workstation, designed for reliability, performance, and sustainability.
Husky inspired easy-to-use git hooks manager for deno
A modern runtime for JavaScript and TypeScript.
ACL2 System and Books as Maintained by the Community
A streaming approach to JSON. Oboe.js speeds up web applications by providing parsed objects before the response completes.
CodeMirror 6 component for React. @codemirror https://uiwjs.github.io/react-codemirror/
Visual Blocks for ML is a Google visual programming framework that lets you create ML pipelines in a no-code graph editor. You – and your users – can quickly prototype workflows by connecting drag-…
Code and documentation for the Pirate Weather API
(Use @uiw/react-codemirror instead) A wrapper around CodeMirror 6 so it behaves like a controlled input
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Datasets of daily time-series data related to COVID-19 for over 20,000 distinct locations around the world.
A Progressive Web App for local file sharing
⬅️ ES6 string tag that strips indentation from multi-line strings.
Easy web analytics. No tracking of personal data.
ESLint plugin to ensure that files begin with given comment