Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Repository Index
61,275 visible repositories in the index
385–408 of 445 · Most stars
Simple and lightweight base classes for web components with a beautiful API
Production-ready headless CMS starter template built with Next.js, Strapi, and Tailwind CSS for optimal SEO.
OpenTelemetry auto-instrumentation tool for Golang. It automatically injects OpenTelemetry blocks.
Nuxeo web components
- nuxeo
- web-components
- polymer
- jxlabs-nos-master
🗃 A schema for mutation testing results with the web components to visualise it 📊
- hacktoberfest
- mutation-testing
- testing
JSX/TSX text-objects and motions for Neovim
- jsx
- neovim
- neovim-plugin
- plugin
Polymer elements for MQTT
A Svelte component to teleport elements across the DOM
Register your lit-elements as a pure functions.
- html
- javascript
- web-components
- web-component
Test your Lit elements and native web components in cypress with all the modern browsers
- custom-elements
- cypress
- lit-element
- web-components
view the data bound to a D3.js project simply by mousing over elements
Get started with lit sass and ts real quick
Chai assertion helpers for virtual-dom elements
The repository host gives no description.
Async MQTT client for CPython and MicroPython with asyncio support.
- async-python
- asyncio
- embedded
- embedded-systems
An elementary OS app
- vala
- graphviz
Simple grid layout library for LÖVE engine (Love2D). Lua positive.
The repository host gives no description.
- hacktoberfest
- lit-html
- lit-element
- webcomponents
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
- sound
- synthetizer
- wav
- win32mm
A simple customisable lit-element burger button
Tradeshift Elements - Reusable Tradeshift UI Components as Web Components https://tradeshift.github.io/elements
- ui
- components
- tradeshift
- reusable
Convert GeoJSON geometry paths to SVG polyline elements.
- library
aurelia plugin to observe DOM-element resize events