Relation algebra library for Coq
Repository Index
47,133 repositories indexed
9,025–9,048 of 11,600 · Most stars
AI native documentation framework that just works, powered by your favorite stack
A data serialization/contract library for common lisp
- serialization
- common-lisp
A library, which adds the ability to hide navigation bar when view controller is pushed via hidesNavigationBarWhenPushed flag
Time calculations using business hours
- elixir
- datetime
- holidays
- business-hours
Safe and easy way to use FileManager as Database
- iamrsalman
- filemanager
- swift
- ios
Lightweight Java library for reading and writing fixed-width / fixed-length flat files using annotations on POJOs — for banking, payroll, EDI, mainframe, and batch integrations.
- annotations
- banking
- batch-processing
- edi
OCaml library for reporting metrics to a Prometheus server
- metrics
- mirageos
- ocaml
Prometheus.io process collector in Erlang
Mitigate security concerns of Dependency Confusion supply chain security risks
BitBot - An HTML/JS game where you control a bot, which must sense, plan, and act.
The Blog built on pure Rust stack. Backend for graphql services, and frontend for web application.
- rust
- async-graphql
- mongodb
- rhai
The repository host gives no description.
A customizable Neovim plugin to run code inside the editor
- code-runner
- lua
- neovim
- telescope
Utilities for using Tinkerpop3 via the node-java API in Typescript
Phraser is a phrase generator using n-grams and Markov chains to generate phrases for passphrase cracking. The generated phraselists can be used as wordlists in your favourite password cracking application.
Library for encoding of binary data into strings using base32, base85, base128 and other algorithms for FPC and Delphi.
- base
- encoding
- pascal
- fpc
Simple and Fast single header Bitmap (BMP) C++ library
- header-only
- single-header
- bitmap
- bmp
Reactive computation tree library for non-blocking concurrent Common Lisp
- data-flow
- asynchronous
- common-lisp
- concurrency
comvert bool expression to elasticsearch DSL in rust
- elastic
- elasticsearch
- dsl
- sql
Web Service/ API for Alexa and Google Home Node-RED Smart Home Control
- node-red
- alexa-skill
- home-automation
- alexa-custom-skill
TranslatedTurn ideas into motion graphics and animated videos with Claude or Codex.
Message Broker for IoT/Mobile/Web. Mainly uses MQTT v3.x and v5. Aims to be easy to use, scalable and reliable
The simplest way to display the librarie's licences used in your application.