Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Repository Index
47,133 repositories indexed
961–984 of 1,106 · Most stars
TML Object Pascal Components
MICROS Honeypot is a low interaction honeypot to detect CVE-2018-2636 in the Oracle Hospitality Simphony component of Oracle Hospitality Applications (MICROS). This is a directory traversal vulnerability.
Tradeshift Elements - Reusable Tradeshift UI Components as Web Components https://tradeshift.github.io/elements
- ui
- components
- tradeshift
- reusable
Fast and easy image cropping web component built with Lit
A component to aid in writing shell-like applications in Ada.
Web components used by TEI Publisher and apps generated by it
- tei-publisher
- webcomponents
- tei-xml
Yew wrapper around daisy components
- yew
- yew-framework
- rust
- webassembly
Directus panel component which shows result of stored SQL query as a table
- directus
- directus-extension-endpoint
- directus-extension
Inline SVG component for Phoenix
Named Yields for Ember Components
- experimental
- ember-addon
- ember
- slots
Svelte tree viewer component library
Heroicons for Svelte 5: all 324 outline and solid icons through one typed <Icon name> component or as tree-shakeable components
Demo store for the Okendo Hydrogen components.
A component library for Vibe that functions as a CMS.
experimenting with web monetisation API
- video
- pay
- javascript
- register
Animate your components on state change
A light spiritual succesor to neon-animated-pages using only css animations
- web-components
- javascript
- js
- css
Makes all children of a selected component sortable
- drag-and-drop
- cyclejs
The Vert.x Event Bus Package allows any meteor app to be able to connect to Vert.x Components
Svelte component for showing speedometer like gauge using d3
Vanilla JS UI component library of HTML deprecated tags.
- javascript
- webcomponents
GNAT Components Collection – Bindings to C libraries
Utility for automatic validation of Delphi forms
- custom-attributes
- delphi
- rtti
- validate