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
481–504 of 520 · Most stars
IME giúp bạn gõ tiếng việt trực tiếp trong neovim một cách native
- ime
- lua
- nvim
- plugin
Strongly typed Razor Page Route Generator (also works with Blazor)
rust electron demo using yew
A fluent API for easily creating GameMaker debug views
The Mohawk College MARC-HI/MEDIC Client Registry Reference Implementation represents the prototype Client Registry (Enterprise Master Patient Index - EMPI) developed under our Natural Sciences and Engineering Research Council of Canada (NSERC) grant to build a test version of the pan-Canadian Electronic Health Record System blueprint as prescribed by Canada Health Infoway.
- client-registry
- canada
- ihe-pdq
- ihe-pix
Fiji/ImageJ macros to quickly add a scale bar to an (electron microscopy) image.
- imagej
- fiji
- electron-microscopy
- scalebar
Control Nextion displays using MicroPython
- display
- library
- micropython
- micropython-lib
A rudimentary boilerplate for building Electron apps with embedded Lisp helper processes
A choo subscription that fixes routing in electron
A place for AI artifacts to live and evolve
MicroPython driver for AT24Cxx EEPROM
- at24cxx
- eeprom
- library
- micropython
ActionScript 3 Worker for extracting tar files in the background
GTFS viewer and transit analysis tool with an Electron desktop app and a free web demo / Electron masaüstü uygulaması ve ücretsiz web demosu olan bir GTFS görüntüleme ve toplu taşıma analiz aracı
Positron JS WebView for MAUI
MicroPython PyPi package template project with auto deploy
- deploy
- micropython
- package
- pypi-package
A .NET implementation of a Selenium WebDriver Remote Server
A Model Context Protocol (MCP) server for SBCL and ECL Common Lisp that enables deep debugging, introspection, profiling, and hot code reloading for SBCL applications.
- common-lisp
- embeddable-common-lisp
- http-mcp
- mcp
MicroPython driver for DS1307 RTC
- ds1307
- i2c
- i2c-device
- library
A router for Yew supporting nesting
- frontend
- router
- rust
- yew
A panic hook for frontend applications
Provision strong AWS security policies easily using the AWS CDK, v1 or v2.
- aws
- cdk
- iam
Cedar is a tool for testing the strength of Electronic Clinical Quality Measure (eCQM) collection systems that receive Quality Reporting Document Architecture (QRDA) files. Please email [email protected] for more information.
Astronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.
- astronomy
- astronomy-software
- astrophotography
- moving-object-detection