jgm / gitit2
A reimplementation of gitit in Yesod
☆95Updated 6 years ago
Alternatives and similar repositories for gitit2:
Users that are interested in gitit2 are comparing it to the libraries listed below
- A modern tool for literate programming☆274Updated 7 years ago
- A syntax highlighting library in Haskell, based on Kate syntax definitions☆109Updated 7 years ago
- Experimental markdown processor in Haskell☆107Updated 4 years ago
- hoodle : A pen notetaking program written in haskell☆146Updated last year
- A personal website / #indieweb engine [OLD VERSION]☆53Updated 5 years ago
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆38Updated 11 months ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆39Updated 6 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago
- Attoparsec parser combinators for parsing org-mode structured text!☆90Updated 10 months ago
- ghc-android build using nix☆68Updated 4 years ago
- Convert/mirror darcs repos into git repos☆97Updated 2 months ago
- ☆30Updated 7 years ago
- A pager for grep☆104Updated 3 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- Arch Haskell ABS tree☆80Updated 7 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- A terminal based mail user agent based on notmuch☆140Updated 3 weeks ago
- A command-line interface description language and parser that will make you smile☆119Updated 7 months ago
- coveralls.io support for haskell code coverage with hpc☆60Updated last year
- Server for stable, curated Haskell package sets☆108Updated 3 weeks ago
- A rewrite of Ledger's core mathematical concepts in Haskell☆44Updated 8 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated last year
- A Haskell package skeleton.☆134Updated 7 years ago
- Pandoc based document editor and converter in your browser.☆383Updated 8 years ago
- A cross-platform file activity monitor☆72Updated 8 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- git-annex repo of papers☆12Updated 8 years ago
- Automatic code formatter for the Nix programming language☆51Updated 8 years ago
- GNU bash backend for Idris☆53Updated 5 years ago