Catalog Of Math Problems Formalized In Lean

Neacșu, Vlad A.: Linguistics olympiad

The Python developer's guide

A curated collection of fun and creative examples generated with Nano Banana & Nano Banana Pro🍌, Gemini-2.5-flash-image based model. We also release Nano-consistent-150K openly to support the commu…

GPT-Prompt-Hub is an open-source community-driven repository dedicated to the collection, sharing, and refinement of custom GPT prompts

📚 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计

A number guessing game with a p-adic twist.

Polymorphic self-modifying modular intelligence layer for integrating new open source software into your apps automatically.

offline 2d digitalhuman demo for edge devices (android/ios/etc.)

A low-cost avatar system

🚀 The best real-time interactive AI avatar(digital human) with on-premise deployment and <1.5 s latency.

Stanford University (cs193p): Developing iOS 11 Apps with Swift 4

潘哒小分队iOS 技术壁垒攻坚归档

雀魂游戏实时 AI 指导 / In-game step-by-step AI Assistant for Maj-soul

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Cursor Trial Reset Tool

An invisible desktop application to help you pass your technical interviews.

Mac app for crushing tech interviews with AI

Awesome Interviews for Coder, Programming Language, Software Engineering, Web, Backend, Distributed Infrastructure, DataScience & AI | 面试必备

A curated list of awesome remote jobs and resources. Inspired by https://github.com/vinta/awesome-python

High performance self-hosted photo and video management solution.

An AI Hedge Fund Team

📝 An Android todo list app using the MVVM design pattern, common Android libraries, and automated testing.

📝 An Android todo list app using the MVVM design pattern, common Android libraries, and automated testing.

🐦 Flappy Bird game reincarnation [GameplayKit, SpriteKit, iOS 12+].

📱 Collaborative List of Open-Source iOS Apps