Haskell官方教程的中文翻译版。
☆19Oct 31, 2011Updated 14 years ago
Alternatives and similar repositories for A-Gentle-Introduction-To-Haskell-Chinese-Edition
Users that are interested in A-Gentle-Introduction-To-Haskell-Chinese-Edition are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 《Redis 设计与实现》所使用的 sphinx 样式。☆17Dec 9, 2013Updated 12 years ago
- Configure Vim environment☆41Oct 22, 2016Updated 9 years ago
- ☆11Aug 7, 2015Updated 10 years ago
- 已停止更新,更强大的请访问☆26Jul 7, 2015Updated 10 years ago
- yii下的在线编辑器☆14Dec 27, 2014Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Sinatra Introduction (Book Edition) by Chris Schneider, Zachary Scott et al☆13Jun 12, 2016Updated 9 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated 10 months ago
- Ruby client library for SSDB☆17Jan 2, 2018Updated 8 years ago
- Static site generator☆12Apr 6, 2025Updated 11 months ago
- ☆10Feb 22, 2016Updated 10 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- A handy cli interface to searching and opening books from your calibre library or recently read titles from your library.☆10Jun 14, 2020Updated 5 years ago
- Ruby port of the Python code from the book "Programming Collective Intelligence: Building Smart Web 2.0 Applications" by Toby Segaran☆23Jan 25, 2009Updated 17 years ago
- simple gemini browser for reMarkable☆14Mar 10, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Prototype API and sample app for searching Google developer videos☆13Aug 12, 2015Updated 10 years ago
- Let Rails dump out your SQL☆11Mar 11, 2020Updated 6 years ago
- shardcache daemon☆28Mar 17, 2016Updated 10 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 8 years ago
- Resume in markdown☆44May 18, 2014Updated 11 years ago
- ruby client for Hadoop HBase☆58Mar 8, 2009Updated 17 years ago
- bidirectional learning midi controls for supercollider☆13Feb 2, 2022Updated 4 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Jun 15, 2014Updated 11 years ago
- 免费的计算机编程类中文书籍，欢迎投稿☆24May 4, 2014Updated 11 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆15May 12, 2025Updated 10 months ago
- Dump C level and Ruby level backtrace from living ruby process or core file using gdb☆15Jun 20, 2018Updated 7 years ago
- Grid paper maker☆13Nov 16, 2019Updated 6 years ago
- FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers☆12Apr 17, 2017Updated 8 years ago
- a simple, fast web-crawler written in Ruby using Watir or Typhoeus☆16Jan 26, 2024Updated 2 years ago
- ☆10Apr 2, 2013Updated 12 years ago
- ☆11May 31, 2023Updated 2 years ago
- A Cms extension for Yii2☆20Mar 13, 2015Updated 11 years ago
- PostgreSQL 数据库中文手册☆14Dec 27, 2014Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Modern ORM for MongoDB based on immutable data structure and promises.☆11Jan 20, 2017Updated 9 years ago
- ☆13Aug 25, 2021Updated 4 years ago
- vim-moonfly theme port to doom emacs☆11Aug 24, 2023Updated 2 years ago
- Repo for hosting 0.11 docs. For issues please use the 0.11 branch of the vuejs.org repo.☆11Jul 18, 2018Updated 7 years ago
- Get random bytes from the TPM (tool + BCrypt RNG provider)☆17Nov 3, 2020Updated 5 years ago
- Query builder for elasticsearch (Node.js / Javascript)☆11Nov 16, 2015Updated 10 years ago
- ☆19Sep 22, 2014Updated 11 years ago