A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Blog post previews in need of peer review

Software Foundations

Multi platform setup for Coq, Coq libraries and tools

《软件基础》中译版 Software Foundations Chinese Translation

Telegram Bot API for NodeJS

node-telegram-bot-api tutorial

Difference lists in Haskell

🦀 Small exercises to get you used to reading and writing Rust code!

Automaticlly updated language performance banchmarks in visualization. Data source from debian's the computer language benchmakrs game.

A Haskell kernel for the Jupyter project.

Haskel brainfuck interpreter

Miscellaneous articles. The readme is the table of contents.

Mirror of https://git.ffmpeg.org/ffmpeg.git

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Collection of quotes on notation design & how it affects thought.

魔力haskell官方网站

A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

Preprocessor for typesetting Haskell sources with LaTeX

Exercises and code from "Haskell Programming from First Principles"

Repository for LFS book translation (currently only Simplified Chinese).

A emacs tree plugin like NerdTree for Vim.

Haskell Language Report

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

[MIRROR] The path to GNUrvana

An example of a fully custom Emacs configuration developed live on YouTube!

EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs

Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!