Alternatives and similar repositories for cheat:

Users that are interested in cheat are comparing it to the libraries listed below

• binghe / HOL-CCS
  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
  ☆6Updated 3 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• tuna / podcast
  Voice from TUNA
  ☆19Updated 6 years ago
• chaoxu / fancy-walks
  solutions for problems/puzzles from a variety of websites in fancy languages
  ☆18Updated 13 years ago
• thautwarm / simple-pl-example
  Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.
  ☆16Updated 3 years ago
• clerkma / ptex-ng-dist
  binary files of Asiatic pTeX
  ☆27Updated 5 years ago
• youki-doc / youki
  The Eido Evoluted.
  ☆38Updated 7 years ago
• SalmonProject / GhostPost
  Chrome extension for GhostPost (Sina Weibo deleted post recovery)
  ☆34Updated 7 years ago
• Kilerd / StarManager
  tiny Github star manager in Chrome
  ☆31Updated 4 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• Yaoshicn / DeepLearningFlappyFrog
  Flappy Frog hack using Deep Reinforcement Learning (Deep Q-learning). 暴力膜蛤不可取。
  ☆16Updated 7 years ago
• flaneur2020 / lyah
  learn you a haskell for great good 中文版
  ☆146Updated 3 years ago
• HostsTools / Haskell-Console
  A cross platform console tool for racaljk/hosts.
  ☆12Updated 8 years ago
• overminder / sanya-native
  Yet another scheme compiler... This time generating shitty code.
  ☆17Updated 11 years ago
• thautwarm / DianaScript-JIT
  ☆18Updated 3 years ago
• leancloud / joke
  LeanCloud 中发生的一些搞笑的事情……Orz
  ☆14Updated 4 years ago
• MarisaKirisame / resume
  ☆42Updated last month
• XmacsLabs / Xmacs
  Xmacs renamed to Mogan
  ☆34Updated 3 years ago
• xmonader / prolog-rands
  random stuff in prolog
  ☆74Updated 6 years ago
• HaskellZhangSong / Introduction_to_Haskell
  This is source code of my book.
  ☆67Updated 8 years ago
• OlingCat / functor-fantasy
  《函子风云录》：一个轻小说接力写作企划
  ☆36Updated 6 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 5 years ago
• Steve-Cheung-emct / genkou-for-uplatex
  原稿用紙；原稿紙；稿紙；日式便箋；UPTEX/UPLATEX 縱書
  ☆10Updated 5 years ago
• neutronest / vortex
  a Haskell implementation of Deep Learning frameworks.
  ☆12Updated 8 years ago
• Xython / wisepy2
  The most simplest and super efficient command line tools, distributed in solely one file.
  ☆10Updated 2 years ago
• rnons / shadowsocks-haskell
  shadowsocks in haskell
  ☆57Updated 6 years ago
• ftiasch / acm-icpc
  ☆113Updated 5 years ago
• dnc1994 / blog
  Static blog powered by Next.js, MDX and ▲ Vercel
  ☆21Updated last month
• shenxs / about-scheme
  《How to Design Program》《build your own lisp》《The Scheme Program Language》 TSPL HTDP
  ☆26Updated 3 years ago