learn you a haskell for great good 中文版
☆145Jun 11, 2021Updated 4 years ago
Alternatives and similar repositories for lyah
Users that are interested in lyah are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 《Real World Haskell》中文翻译项目☆1,575Feb 14, 2022Updated 4 years ago
- Chinese translation of Learn you a Haskell for great good☆459Jul 4, 2024Updated last year
- 翻译idris2教程☆15May 17, 2025Updated last year
- Towards web with Snap in Haskell☆33Apr 20, 2017Updated 9 years ago
- Extra features for Emacs `php-mode'.☆32Jul 16, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Unix Network Programming code in Python☆15Jan 15, 2013Updated 13 years ago
- ANSI Common Lisp 中文翻译版☆688Mar 11, 2021Updated 5 years ago
- A library for intelligently plotting functions from the MIT Scheme REPL.☆21Feb 2, 2013Updated 13 years ago
- 常见算法实现☆10Jan 15, 2017Updated 9 years ago
- My racket study documentation☆318Aug 2, 2019Updated 6 years ago
- The Rust primer for beginners. We need native English speaker help us modify the translation.☆1,790Mar 8, 2024Updated 2 years ago
- ☆11Oct 7, 2017Updated 8 years ago
- Original galgame engine for windows 10☆17Nov 13, 2015Updated 10 years ago
- 魔力haskell官方网站☆298May 15, 2019Updated 7 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.
- Parser combinators in Common Lisp☆23Mar 24, 2010Updated 16 years ago
- Elixir 中文论坛☆20Oct 19, 2023Updated 2 years ago
- Emacs interface for sdcv (Stardict console version)☆80Feb 28, 2022Updated 4 years ago
- Cargo subcommand: download crates from a mirror site☆27Jan 12, 2016Updated 10 years ago
- a Express style webframework for Igropyr (Chez Scheme http-server)☆22Dec 20, 2022Updated 3 years ago
- My personal wiki, powered by simiki ( https://github.com/tankywoo/simiki )☆110Oct 12, 2023Updated 2 years ago
- SRFI libraries for Chez Scheme☆10Mar 21, 2010Updated 16 years ago
- run douban.fm on your shell☆130Jun 4, 2015Updated 10 years ago
- Extensible SQL Lexer and Parser for Rust☆19Jul 15, 2022Updated 3 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.
- Elixir Shanghai meetup☆10Feb 16, 2018Updated 8 years ago
- 《软件基础》中译版 Software Foundations Chinese Translation☆971Mar 4, 2026Updated 2 months ago
- Go 语言学习之路：笔记、译文、思维导图等☆10May 9, 2024Updated 2 years ago
- Master Emacs☆320Oct 22, 2023Updated 2 years ago
- Web app to generate avatars for GitHub.☆65Nov 9, 2025Updated 6 months ago
- A green colorscheme for Vim text editor.☆16Feb 25, 2018Updated 8 years ago
- A library for creating wrappers around command-line programs.☆32Oct 6, 2022Updated 3 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.☆26Oct 19, 2020Updated 5 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.
- Flask Dashboard - Shards Design | AppSeed☆16Oct 4, 2023Updated 2 years ago
- An experimental lossless data compression program with high compression ratio.☆15Feb 27, 2013Updated 13 years ago
- Some educational code written 10+ years ago at IU☆30Apr 20, 2022Updated 4 years ago
- Paper3D is an cross-platform GLES rendering engine, best for creating live wallpaper on Android☆27Sep 11, 2014Updated 11 years ago
- translate emacs documents to Chinese for convenient reference☆1,469Mar 21, 2025Updated last year
- Write You a Scheme☆577Mar 24, 2026Updated 2 months ago
- Markup Editor for reStructedText and Markdown☆17Mar 5, 2026Updated 2 months ago