Library providing opanapi3 and Go types for store/validation and transfer of ISO-4217, ISO-3166, and other types.
- iso-3166
- iso-3166-2
- iso-4217
Repository Index
47,133 repositories indexed
1,105–1,128 of 1,340 · Most stars
Exon is a “mess manager” developed in Elixir and provides a simple API to manage & document your stuff.
- elixir-lang
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Provides a string manipulation node with a chainable UI based on the concise and lightweight stringjs.com.
- string-manipulation
- string-matching
- parse
- string
Plugin providing "A People's Calendar" for Neovim, written in lua.
Flexible search query builder is SAP Hybris Commerce extension (released as a library) that provides developer-friendly way to build flexible search queries. The aim of this extension is to write().flexibleSearchQueries().easily() in compile-time safe manner without a need to remember the syntax.
- hybris-commerce-suite
- hybris
- hybris-commerce
- hybris-extension
A Neovim plugin that uses LLMs to improve the grammar and spelling of natural language text.
Log4j, Knockout.js, WebSockets and Play! Log4Play is a module that provides a log4j appender which publishes log entries to an EventStream. The module also provides an user interface which uses a WebSocket creating a live stream of log messages. You can use this user interface to look at the logs of your application without needing to login to the actual box.
Guess what a gamepad should look like and provide a default set of art that matches the input gamepad.
The open-source safety layer for AI agents — block unsafe tool calls, require approval, enforce budgets, audit, replay.
A simple tool that provides cron like facilities directly inside of common lisp.
Nova DSO Tracker is an open-source Flask application for astrophotographers, providing real-time tracking of deep-sky objects' altitude, observability prediction, and integration with Stellarium and SIMBAD databases.
SubQuery API for saturating Nova Wallet as a data source. Focuses on the following use cases: 1) Provide complete operation history, including Transfers, Rewards/slashes, Other extrinsics 2) Provide data for staking analytics
- blockchain
- indexer
- polkadot
- kusama
Library for interacting through the SPI protocol with an 'Analog Devices ADXL345' accelerometer from an MCU flashed with MicroPython. Methods are optimised for trying to reach max available sampling rate for this device
- micropython
- micropython-esp32
- esp32
- accelerometer
ClearX is an alternative way to Redux and MobX to maintain the application state and provides a simple interface to bind it to UI components.
Docker-Sentinel: container update orchestration with manual approval queues
- containers
- devops
- docker
- docker-updates
Experimental type provider for Amazon S3
A Go recursive coverage testing tool
a version of the 2048 game for Coq
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Mini graphics libraries for love2d
Trust metadata for AI agents — a stamp costs ~15 tokens, re-verifying costs 15,000. Agents stamp what they verify; the next agent runs 'akf check' and builds on it. pip install akf
Apex framework to provide API calls for Google Drive
A Rust library providing components based on the bulma css library for projects using the yew front-end web development framework.