x1957 / cheatLinks
骗分导论
☆17Updated 4 years ago
Alternatives and similar repositories for cheat
Users that are interested in cheat are comparing it to the libraries listed below
Sorting:
- Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)☆6Updated 3 years ago
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.☆16Updated 4 years ago
- ☆43Updated 4 months ago
- binary files of Asiatic pTeX☆27Updated 6 years ago
- Lisp Flavoured C++☆29Updated 4 years ago
- ☆18Updated 3 years ago
- Chrome extension for GhostPost (Sina Weibo deleted post recovery)☆34Updated 7 years ago
- Functional Template☆9Updated 8 years ago
- Matplotlib for Chez Scheme☆24Updated 5 years ago
- Agent Manipulation Language☆17Updated 7 years ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Updated 13 years ago
- Flappy Frog hack using Deep Reinforcement Learning (Deep Q-learning). 暴力膜蛤不可取。☆16Updated 7 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 6 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- old cicada attempt in rs☆3Updated last year
- ☆113Updated 5 years ago
- Yet another scheme compiler... This time generating shitty code.☆17Updated 12 years ago
- Project Euler | 欧拉计划 中文翻译站☆46Updated last month
- Source code to build vczh-libraries.github.io☆10Updated 2 weeks ago
- HaScheme is a Scheme interpreter written by Haskell.☆11Updated 8 years ago
- This is source code of my book.☆67Updated 8 years ago
- The most simplest and super efficient command line tools, distributed in solely one file.☆10Updated 2 years ago
- A modern online judge engine, adding new problems without writing code☆20Updated 7 years ago
- learn you a haskell for great good 中文版☆146Updated 3 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Updated 6 years ago
- Voice from TUNA☆19Updated 6 years ago
- OCaml 文档中文版☆32Updated 6 years ago
- Public code developed during my MSc study at University of Bologna☆76Updated 2 years ago
- 《How to Design Program》《build your own lisp》《The Scheme Program Language》 TSPL HTDP☆27Updated 3 years ago