Docker images of coq-mathcomp [maintainer=?]
Repository Index
47,133 repositories indexed
7,633–7,656 of 7,949 · Most stars
gtfs2vec - Learning GTFS Embeddings for comparing PublicTransport Offer in Microregions
Privacy-first Chrome extension for real-time website security analysis using on-device AI. Trust scores (0-100), phishing detection, SSL verification, cookie compliance & AI chatbot powered by WebLLM with zero external data transmission.
- browser-extension
- chrome-extension
- cybersecurity
- on-device-ai
Complexity analyzer for Golang
- go
- golang
- neovim
- neovim-plugin
Run CGI scripts from the hunchentoot web server
⚙️🎵🎚 Multi-Tool for Spotify: PHP command-line application that performs various tasks to enhance your Spotify experience.
- command
- command-line
- command-line-app
- command-line-tool
A set of encapsulated Web components consuming the GOV.UK Design System.
A simple framework for writing effective unit, component, and integration tests.
The repository host gives no description.
A library to facilitate communication between CommandService and QueryService. The Idea is when any event occures in commandService, it should be persisted in QueryService in MongoDb, SqlServer, MySql and PostgreSQL
This system contains an addon which allows to syncronize multiple cl-prevalence systems state.
Common Lisp project skeleton generator which uses Sphinx and reStructured text to render nice and readable HTML documentation.
Helper to authenticate website's users by sending them unique code by email.
Ada bindings of Turbo Pascal 7.0 units with Gnoga.
This template contains a minimal setup of components, queries and tooling to get started with Hydrogen, the Shopify’s stack for headless commerce
Use simple commands and scripts as mini plugins
Installs update packages in Sitecore from the command line
Interactive web playground for various Computational Geometry algorithms and topics using p5.js
Parenscript macros for jQuery
Validates tabular CSV data using predefined validations, inspired from its Python homologue "Great Expectations".
- common-lisp
- csv
- data-validation
- great-expectations
A reactive programming library for Lisp
Antsichaut aims to automate the filling of a changelog.yaml used by antsibull-changelog
Xamarin.iOS Autocomplete suggestions for UITextfield in iOS
Framework agnostic content negotiation library
- crystal
- component