Repository Index

OpenMV Camera Module

Quantitative research and educational materials

Open-source, ad-free Android multimedia recorder with background video recording, screen recording, live streaming, and remote camera control

• android-app
• android-studio
• cam
• record-video

Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.

• proof-assistant
• lean4
• ai-agents
• ai-for-math

:octocat: 🎚 RAMPaperSwitch is a Swift material design UI module which paints over the parent view when the switch is turned on. iOS library by @Ramotion

• swift
• library
• ios
• component

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

• ai-native
• description-logics
• knowledge-graph
• mcp

Pic Smaller – Compress JPEG, PNG, WEBP, AVIF, SVG and GIF images intelligently

• safe-compression
• compress-images
• offscreencanvas
• webassembly

Practical concurrency guide in Go, communication by channels, patterns

• concurrency
• guideline
• patterns
• channels

MyTT将通达信,同花顺,文华麦语言等指标公式,最简移植到Python中,核心库单个文件，仅百行代码,十几个核心函数，神奇的实现所有常见技术指标算法（不依赖talib库）的纯python实现和转换通达信MACD,RSI,BOLL,ATR,KDJ,CCI,PSY等公式,全部基于pandas函数计算方法封装，简洁且高性能，能非常方便的应用在股票指标公式,股市期货量化框架分析,自动程序化交易,数字货币量化等领域,它是您最精练的股市量化工具。Python library with most stock market indicators.

• indicators
• python
• macd
• rsi

A linux utility to get information on filesystems, like df but better

• filesystem
• rust
• linux
• hacktoberfest

《Java安全-只有Java安全才能拯救宇宙》Only Java Security Can Save The Universe.

• hackjava
• 0e0w
• javasec
• javasecurity

:calendar: Customizable date (and time) picker. Opt-in UI, no jQuery!

• front-end
• javascript
• vanilla
• calendar

AI-first knowledge base and startup OS

Self-referential self-improving agents that can optimize for any computable task

Automatically exported from code.google.com/p/smhasher

Show, Attend, and Tell | a PyTorch Tutorial to Image Captioning

• pytorch
• pytorch-tutorial
• show-attend-and-tell
• image-captioning

🍴 OpenNutriTracker is a free and open source calorie tracker with a focus on simplicity and privacy.

• android
• calories-tracker
• flutter
• ios

Android application for online privacy and security

• dnscrypt
• tor
• i2p
• internet-privacy

☔️ A complete Go cache library that brings you multiple ways of managing your caches

• go
• golang
• cache
• memcache

Bookmark manager for the wizards 🧙

• bookmarks
• self-hosted
• typescript
• docker

Awesome RSS feeds - A curated list of RSS feeds (and OPML files) used in Recommended Feeds and local news sections of Plenary - an RSS reader, article downloader and a podcast player app for android

• rss
• rss-feed
• awesome-list
• rss-reader

AIGC-interview/CV-interview/LLMs-interview面试问题与答案集合仓，同时包含工作和科研过程中的新想法、新问题、新资源与新项目

• aigc
• algorithms
• awesome-cv
• cnn

Desafio criar 30 mini projetos utilizando HTML e CSS em 30 dias

• css
• html5
• css3
• css3-animations

Aggregates RSS and web content(Calibre recipe), sends to Kindle, and includes an e-ink optimized online reader.