Skip to content
View haoyun's full-sized avatar
🏠
Working from home
🏠
Working from home

Highlights

  • Pro

Block or report haoyun

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
45 stars written in Haskell
Clear filter

Universal markup converter

Haskell 35,022 3,399 Updated Dec 12, 2024

A Dependently Typed Functional Programming Language

Haskell 3,437 644 Updated Aug 2, 2024

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Haskell 3,379 292 Updated Nov 16, 2024

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Haskell 3,090 320 Updated Dec 10, 2024

A static website compiler library in Haskell

Haskell 2,712 409 Updated Dec 8, 2024

Terminal-based presentations using Pandoc

Haskell 2,465 61 Updated Nov 26, 2024

The engine for haskell ide-integration. Not an IDE

Haskell 2,376 209 Updated Dec 23, 2020

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Haskell 1,972 58 Updated Nov 14, 2022

lamdu - towards the next generation IDE

Haskell 1,854 71 Updated Dec 5, 2024

The Haskell-Scriptable Editor

Haskell 1,512 203 Updated Nov 1, 2024

Pandoc filter for cross-references

Haskell 956 77 Updated Oct 13, 2024

Detexify Backend written in Haskell

Haskell 895 41 Updated Dec 26, 2016

A wayland compositor based on ideas from and inspired by xmonad

Haskell 846 38 Updated Jul 13, 2019

Emanate a structured view of your plain-text notes

Haskell 822 72 Updated Nov 11, 2024

Shake build system

Haskell 771 119 Updated May 4, 2024

HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.

Haskell 714 55 Updated Sep 27, 2024

🕵️ Haskell STatic ANalyser

Haskell 571 50 Updated Dec 9, 2024

Generically derive traversals, lenses, and prisms.

Haskell 438 54 Updated Apr 4, 2024

Pandoc based document editor and converter in your browser.

Haskell 382 22 Updated Aug 31, 2016

create static websites from YAML data and string templates

Haskell 380 38 Updated May 27, 2024

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

Haskell 367 139 Updated Nov 1, 2024

A Haskell library for converting LaTeX math to MathML.

Haskell 327 68 Updated Dec 7, 2024

The CLI task manager for power users

Haskell 230 13 Updated Nov 18, 2024

Embedded domain-specific language for declarative vector graphics (wrapper package)

Haskell 201 11 Updated Aug 1, 2023

The Haskell LaTeX library.

Haskell 199 46 Updated Sep 28, 2023

An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.

Haskell 169 16 Updated Aug 31, 2022

Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)

Haskell 119 12 Updated Mar 24, 2022

Statistics visualizer for org-mode

Haskell 98 6 Updated Mar 7, 2024

Turnstyle is a graphical esoteric programming language based on lambda calculus

Haskell 78 2 Updated Oct 18, 2024

Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll

Haskell 57 6 Updated Sep 12, 2019
Next