Sign in

Repository Index

74,860 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

25–31 of 31 · Most stars

TranslatedFree Telegram Proxy List — MTProto / MTProxy proxies, verified & auto-updated every 15 min. Each one relayed a real request to a Telegram datacenter 3× before publishing. Tap to connect: top100, FakeTLS, by country, JSON. For Iran, Russia & blocked networks. Free Telegram proxy · free proxy for Telegram

  • anti-censorship
  • censorship
  • faketls
  • free-proxy

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

  • calculus
  • counting
  • functions
  • graph

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.