thomasjm / pumaLinks
Web-based LaTeX editor
☆12Updated 9 years ago
Alternatives and similar repositories for puma
Users that are interested in puma are comparing it to the libraries listed below
Sorting:
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- Configuration files (.emacs)☆22Updated last week
- A rewrite of Ledger's core mathematical concepts in Haskell☆44Updated 8 years ago
- Automatically generate Nix expressions for Emacs packages☆30Updated 8 months ago
- Official collection of YASnippet Haskell snippets for Emacs.☆13Updated 4 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- My haskell-mode configuration for Emacs☆19Updated 2 years ago
- Kiwi content management engine☆13Updated 4 months ago
- A syntax highlighting library in Haskell, based on Kate syntax definitions☆110Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Updated last year
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- A simple text editor written in Haskell with Brick☆13Updated 6 years ago
- Parser for Emacs org-mode files☆32Updated last year
- A Pandoc filter for emphasizing code in fenced blocks☆29Updated last year
- Utility for showing hours worked within a work month against a target☆25Updated last week
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- My Emacs config☆126Updated last week
- Extracting RepliGo PDF annotations to a Org-mode format snippet (unmaintained!)☆28Updated 9 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 months ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆16Updated 6 years ago
- 📖 view and generate static websites from your Org files (WIP).☆20Updated last year
- Rope data structure used by Yi☆20Updated 7 years ago
- Automatic Haskell setup in Emacs, for Nix users☆28Updated 6 years ago
- ☆26Updated last year
- Easier Literate Programming using Org mode☆18Updated 2 years ago
- ☆45Updated 5 months ago
- Convert/mirror darcs repos into git repos☆98Updated 7 months ago
- Nix Pills: Compact Edition☆23Updated 9 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago