Sign in

Repository Index

88,573 visible repositories in the index

Tags: Lists and learning
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

3,385–3,408 of 3,749 · Most stars

A curated list of all the WWDC Submissions in one place

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.

A collection of awesome papers, articles and various resources on credit and credit risk modeling

  • credit-scoring
  • credit-modeling
  • financial-machine-learning
  • sample-selection

A drop-in replacement for std::list with 293% faster insertion, 57% faster erasure, 17% faster iteration and 77% faster sorting on average. 20-24% speed increase in use-case testing.

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'.