Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
Repository Index
47,133 repositories indexed
409–432 of 535 · Most stars
A style guide for Swift.
DevStart Lab - An interactive open-source platform to learn programming, explore real projects, and contribute to GitHub.
- beginner-friendly
- coding-challenges
- developer-tools
- education
:mag: Data pipeline for crawling PDFs from the Web and transforming their contents into structured data using AWS textract. Built with AWS CDK + TypeScript
A curated list of awesome advertising content, resources and libraries.
- awesome-list
- prebid
- header-bidding
- advertising
Learn how to build a compiler by interacting with Let's Build a Compiler by Jack Crenshaw in Swift Playgrounds
- compiler
- compiler-principles
- compiler-construction
- swift
Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses | 500+ Papers | Perception, Cognition, Planning, Interaction, Agentic System
- adversarial-attacks
- ai-safety
- autonomous-driving
- backdoor-attacks
TranslatedCurated index of MCP servers for Chinese apps — connect your AI agent to 高德地图 (Amap, "Gaode Map"), 12306 (China Railway ticketing), 小红书 (Xiaohongshu, "Little Red Book"), 飞书 (Feishu, "Lark"), 语雀 (Yuque), A股 (A-shares, Chinese stock market) and more. The open-source 'Composio for China'.
- ai-agents
- awesome-list
- china
- chinese
A collaborative list of Awesome Bluetooth Low Energy (BLE) resources. Feel free to contribute!
Quantitative Economics
Learn the DSA and be Interview ready
- dsa
- java
- coding-challenges
- data-structures-and-algorithms
WebExtension packages for every need
A curated list of excellent books to learn PostgreSQL — from beginner‑friendly introductions to advanced internals, administration, and performance tuning.
- pgadmin
- postgres-extension
- postgres-tools
- postgresql
Translated🚀 面栈 (MianStack, "interview stack")｜The ultimate programmer interview question bank! Java, Python, databases, algorithms, large models, AI Agent, and RAG, all prepared in one stack. Real interview experiences linked to high-frequency exam topics, with targeted preparation by company and position; illustrated solutions, featured special topics, and project source code breakdowns all come standard. The interviewer sets the questions, MianStack makes the moves! Free and open source, continuously updated.
- agent
- agentic-ai
- ai-agent
- ai-engineering
Collection of Swift playgrounds used in my posts: From functional aspects of Swift to C interoperability.
- swift-playgrounds
- swift
- concurrency
- bitwise-operators
The code repository for the prototypes included in the eBook "Inspired EHRs - Designing for Clinicians" (inspiredEHRs.gov). The code of the prototypes is made available under the Apache 2.0 open source license. This license agreement allows anyone to freely use the code and ideas presented in this book, subject to the conditions listed at http://opensource.org/licenses/Apache-2.0.
- healthcare
- ehr
- open-source
- electronic-health-record
common creational, behavioural and structural patterns implemented in go 🤩
- go
- design-patterns
- software-engineering
- software-development
A curated collection of papers and resources on voice agents, from spoken interaction to autonomous task execution.
Various algorithms visualized interactively on the web, entirely with Rust 🦀
- rust
- yew
- algorithms
- sorting-algorithms
TranslatedMultimodal retrieval in practice: intent recognition, prompt engineering, Qwen LoRA, EmbeddingGemma 2, and InfoNCE contrastive learning. Includes real demos, integration of your own data, training and evaluation, and a learning guide to RAG retrieval components.
- clip
- ecommerce
- image-retrieval
- image-search
A list of things related to software, literature, and other content for 🕣 Memento
- webarchiving
- memento
- memento-rfc
- awesome-list
This repository contains the content of the book Getting Started With Ledger.
- ledger
Interview Cake Clojure solutions.
- clojure
- interview-cake
- interview-questions
Auto-updated tech internships in India from 160+ company career pages, with Telegram alerts. Serverless on GitHub Actions.
- github-actions
- india
- internships
- job-board