A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Repository Index
47,133 repositories indexed
4,417–4,440 of 7,031 · Most stars
Telegram bot framework and API client written in Elixir
- telegram-bot-api
- telegram-bot-framework
A JavaScript client library that brings cross-platform consistency to the Selenium WebDriver API.
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
A fast regular expression compiler in Common Lisp
Simple and beautiful stacked UIView to use as a replacement for an UITableView, UIImageView or as a menu
- collectionview
- uitableview
- uicollectionview
- uiimageview
A JAX-RS like annotation processor for vert.x verticals and more
Bluetooth mapping in Swift
C++ API for LibAV / FFMpeg
- libav
- ffmpeg
- python
- java
Delphi and Lazarus Message Dialogs with Formatted Text
- delphi
- pascal
- messages
- dialogs
The repository host gives no description.
- webcompiler
- dotnet
- cross-platform
- scss
Machine is a workflow/pipeline library for processing data
- golang
- golang-library
- golang-package
- workflow
Simple Telegram bot library for Crystal
- telegram-bot
- crystal
- telegraf
- webhook
:mag: Data pipeline for crawling PDFs from the Web and transforming their contents into structured data using AWS textract. Built with AWS CDK + TypeScript
High-performance Piecewise Geometric Model (PGM) learned index implementation in pure Rust with strict epsilon error guarantees
Native port of Skies of Arcadia Legends (GameCube) via static recompilation. Bring your own disc.
DeepWrite AI is Made with the Help of ChatGPT3 and Specific Model is Prepared for Generating Perfect Blog Post with atmost Clarity. This is Just the Version 1.0 More Improvement Will be Implemented.
GLM 5.3 Abliterated or Uncensored AI model — 35 jailbreak prompts, model guide and API. One 7API key also covers Claude, GPT, Gemini, Grok, DeepSeek and Kimi.
- abliterated
- abliterated-models
- anthropic-compatible
- claude-code
API Condenser / Reverse Proxy using Kestrel and Consul, Including light weight consul lib
- consul
- kestrel
- leader
- service-discovery
Customizable bouncing dots for smooth loading effect. Mostly used in chat bubbles to indicate the other person is typing.
📅 A lightweight, customizable iOS calendar view control in Objective-C — locale & calendar identifiers (Persian, Hebrew…), date-range selection, multiple display modes, and full color theming.
- ios-calendar
- calendar
- calendarview
- calendar-view
An opinionated Elixir wrapper around brod, the Erlang Kafka client, that supports encrypted connections to Heroku Kafka out of the box.
- elixir
- kafka
A dataset, API, and parser for USDA plant hardiness zones.
- usda
- api
- plants
- farm
A "proof-of-concept" remake of the famous XPilot game, this time in a web browser near you