This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
Repository Index
47,133 repositories indexed
4,177–4,200 of 11,600 · Most stars
RockYou2021.txt is a MASSIVE WORDLIST compiled of various other wordlists. RockYou2021.txt DOES NOT CONTAIN USER:PASS logins!
- wordlist
- rockyou
- rockyou2021
- wordlists
Simple browser extension for managing Polkadot and Substrate network accounts in a browser. Allows the signing of extrinsics using these accounts. Also provides a simple interface for compliant extensions for dapps.
Chamilo is a learning management system focused on ease of use and accessibility
- chamilo
- twig
- php
- elearning
Kit for building custom gauges + easy reproducible Apple's style ring gauges.
A list of useful Magento technical resources
A lightweight and powerful editor for localizing iOS, macOS, tvOS, and watchOS applications.
- localization
- localization-tool
- internationalization
- translation
SuMa++: Efficient LiDAR-based Semantic SLAM (Chen et al IROS 2019)
- rangenet-lib
- suma
- lidar
- slam
Custom widget for Flutter
LinksHub aims to provide developers with access to a wide range of free resources and tools that they can use in their work. These resources include links to free software, libraries, frameworks, and other tools that can be used to build and deploy applications and websites.
- nextjs
- open-source
- resources
- tailwindcss
ESB, SOA, REST, APIs and Cloud Integrations in Python
- python
- esb
- soa
- api-server
animated page transition for major ssr frameworks and browsers, including Safari
Build Rust projects in Nix - no configuration, no code generation, no IFD, sandbox friendly.
- rust-lang
- cargo
- nix
- crates
The mature, battle-tested, high-end, OG self-hosted image and video hosting solution trusted since 2007. Build your own Flickr / Imgur media sharing platform with complete control over your content, data, and platform rules.
- image-host
- image-hosting
- image-sharing
- image-sharing-website
:alien: A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.
A Declarative Update Policy Engine
- gitops
- continuous-updates
- hacktoberfest
- dependency-manager
Flutter plugin for connecting and communicationg with Bluetooth Low Energy devices, on Android, iOS, macOS, Web, Linux, Windows.
A CLI tool to check whether a specific composer package uses imported symbols that aren't part of its direct composer dependencies
- code-quality
- ci-tools
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
- defects4j
- java
- perl
A bundle of useful CircuitPython libraries ready to use from the filesystem.
- circuitpython
- hacktoberfest
Simple countdown UILabel with morphing animation, and some useful function.
- countdown
- swift
- timer
AgenticX is a unified, production-ready multi-agent platform — Python SDK + CLI (agx) + Studio server + Machi desktop app. Features Meta-Agent orchestration, 15+ LLM providers, MCP Hub, hierarchical memory, avatar & group chat, skill ecosystem, safety sandbox, and IM gateway (Feishu/WeChat).
- multi-agent-system
- agent-framework
- agentic-workflows
- ai-agent
An old-school bash-like Unix shell written in Rust
A collection useful tips for the Swift language
- swift
- tips