Learn Haskell
☆13Jun 10, 2022Updated 3 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☆74Aug 25, 2022Updated 3 years ago
- A small library that enables developers to use MFC containers (arrays, lists, maps) with range-based for loops.☆15May 14, 2020Updated 5 years ago
- This tool generate minimal reflection info about classes and enums based on clang 3.2☆24Jun 28, 2015Updated 10 years ago
- VOrg 是一个简单 VS Code 扩展，为 Org-mode 文档提供完整的编辑和预览体验，借助 VS Code 提升 org-mode 的编辑体验☆19Apr 8, 2026Updated 3 weeks ago
- LEMMA: Logical Engine for Multi-domain Mathematical Analysis☆28Feb 14, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This book introduces established concepts in the computer ecosystem, so you can use them to have more control over your own computers and…☆12Jan 26, 2025Updated last year
- Play any paper like a galgame!☆50Jan 22, 2026Updated 3 months ago
- Boost.org proto module☆23Apr 23, 2026Updated last week
- 😎 Python Asyncio 精选资源列表，囊括了网络框架，库，软件等资源☆12Oct 29, 2018Updated 7 years ago
- ☆14Oct 30, 2025Updated 6 months ago
- Showdown markdown extension for Japanese kanji / furigana support using HTML5 <ruby> tags☆10May 2, 2017Updated 8 years ago
- 同步数据的小工具☆17Feb 27, 2026Updated 2 months ago
- Convert image to colorful chars in command line.☆16Nov 23, 2019Updated 6 years ago
- ☆18May 13, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Let Over Lambda Chinese Translation☆16Nov 14, 2023Updated 2 years ago
- my blog☆14Mar 29, 2026Updated last month
- C++语言课程☆20May 18, 2014Updated 11 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated last year
- A mini-redis learn from tokio.☆12Dec 20, 2022Updated 3 years ago
- Automatically generate *.ics files for classes☆15Oct 12, 2023Updated 2 years ago
- 恋学，全称Cre的恋爱学☆46Dec 10, 2022Updated 3 years ago
- A toy xmonad☆31Mar 25, 2020Updated 6 years ago
- ☆13Apr 6, 2019Updated 7 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
- 学习用Rust写一个操作系统☆10May 15, 2020Updated 5 years ago
- log for service☆18Jan 6, 2022Updated 4 years ago
- bobo's vimrc☆10Aug 21, 2017Updated 8 years ago
- static_disaster_recovery_systems ，智能的静态容灾系统☆20Jan 24, 2021Updated 5 years ago
- 北航教务一键评教。☆14Jun 21, 2023Updated 2 years ago
- Very interesting Style Transfer App based on nerual network.☆16Jul 30, 2019Updated 6 years ago
- Rubik's cube in Golang☆10Apr 4, 2026Updated 3 weeks ago
- Ditto is a scripting language implemented in C☆16Jul 5, 2025Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a compiler from a subset of Scheme into X64☆30May 10, 2014Updated 11 years ago
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆12Jul 29, 2025Updated 9 months ago
- Some helpful scripts for the physics experiments at BUAA.☆19Dec 25, 2017Updated 8 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Jun 1, 2020Updated 5 years ago
- C++ ranges components☆39Dec 25, 2016Updated 9 years ago
- The Story of how I learned Emacs Lisp☆25Mar 20, 2013Updated 13 years ago
- ☆15Sep 19, 2021Updated 4 years ago