Learn Haskell
☆13Jun 10, 2022Updated 4 years ago
Alternatives and similar repositories for learnhaskell
Users that are interested in learnhaskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- home page☆73Aug 25, 2022Updated 4 years ago
- 逼乎，让我们在撕逼中寻找答案——这是红岩移动开发部的作业哦☆12Apr 5, 2016Updated 10 years ago
- Android Studio VS Eclipse, an Android game based on JustWe☆11May 12, 2017Updated 9 years ago
- 基于go写的隧道代理服务器，主要用于翻墙。☆12Nov 20, 2016Updated 9 years ago
- A Jekyll plugin for Liquid blocks to utilise KaTeX☆17Nov 16, 2015Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Boost.org proto module☆23Aug 12, 2026Updated last month
- 😎 Python Asyncio 精选资源列表，囊括了网络框架，库，软件等资源☆11Oct 29, 2018Updated 7 years ago
- ☆14Oct 30, 2025Updated 11 months ago
- 基于TensorFlow官方Android端示例，对选择的图片进行风格迁移☆11Apr 9, 2017Updated 9 years ago
- jq for Java☆15Jun 20, 2016Updated 10 years ago
- C++语言课程☆20May 18, 2014Updated 12 years ago
- Rust implementation of MurmurHash3.☆13Sep 14, 2026Updated 3 weeks ago
- ☆13Nov 15, 2022Updated 3 years ago
- Emacs Config Almost From Scratch.☆12Mar 3, 2020Updated 6 years ago
- AI Agents on 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.
- Implementation of Data Structures in C☆11Oct 5, 2018Updated 8 years ago
- A mini-redis learn from tokio.☆12Dec 20, 2022Updated 3 years ago
- my blog☆14Sep 10, 2026Updated last month
- Let Over Lambda Chinese Translation☆16Nov 14, 2023Updated 2 years ago
- A Rust Redlock implementation for distributed, highly-available redis locks☆17Feb 20, 2019Updated 7 years ago
- Automatically generate *.ics files for classes☆17Sep 23, 2026Updated 2 weeks ago
- 恋学，全称Cre的恋爱学☆45Dec 10, 2022Updated 3 years ago
- 🌾🌾🌾Rust,Go,Python,JavaScript，C/C++实现的leetCode，练习算法，总结算法，应用算法，欢迎交流，学习，一起进步...☆17Apr 8, 2019Updated 7 years ago
- A toy xmonad☆31Mar 25, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- levelDB key/value database in Rust.☆11Nov 13, 2021Updated 4 years ago
- ☆27Jul 14, 2018Updated 8 years ago
- a language-aware tool for comparing programs☆27Jul 21, 2011Updated 15 years ago
- ☆16May 28, 2021Updated 5 years ago
- log for service☆18Jan 6, 2022Updated 4 years ago
- bobo's vimrc☆10Aug 21, 2017Updated 9 years ago
- a compiler from a subset of Scheme into X64☆30May 10, 2014Updated 12 years ago
- static_disaster_recovery_systems ，智能的静态容灾系统☆20Jan 24, 2021Updated 5 years ago
- 北航教务一键评教。☆14Jun 21, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Rubik's cube in Golang☆10Apr 4, 2026Updated 6 months ago
- A modern Rust template for developing DuckDB extensions☆19Jun 10, 2026Updated 4 months ago
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated last year
- Some helpful scripts for the physics experiments at BUAA.☆19Dec 25, 2017Updated 8 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Jun 1, 2020Updated 6 years ago
- 数据结构与常见算法系列，从基础知识到初阶题以及进阶题。链表、栈、、队列、树等等。前期有c版本跟java版本，队列往后只有java版本了。☆25Jan 2, 2018Updated 8 years ago
- 同步数据的小工具☆18Feb 27, 2026Updated 7 months ago