listx / listx_blog
The sources used to generate my blog at https://funloop.org. See https://github.com/listx/listx.github.io for the rendered contents.
☆9Updated 3 months ago
Alternatives and similar repositories for listx_blog:
Users that are interested in listx_blog are comparing it to the libraries listed below
- A Pandoc filter for emphasizing code in fenced blocks☆29Updated last year
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- A library for generating RSS 2.0 feeds.☆18Updated 8 months ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- TODO☆10Updated 9 years ago
- Some experiments are more experimental than others.☆27Updated 11 months ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆12Updated 5 years ago
- Timing attack resistant type systems☆24Updated 9 years ago
- DEPRECATED: Use bevel instead.☆25Updated 4 years ago
- Kiwi content management engine☆13Updated last month
- embed haskell diagrams in emacs org-mode files☆10Updated 8 years ago
- Clipboard synchronization tool☆12Updated this week
- Foundation for building semantically meaningful themes over emacs☆13Updated this week
- Simple testing toolkit☆10Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Automatic Haskell setup in Emacs, for Nix users☆28Updated 5 years ago
- Rope data structure used by Yi☆20Updated 6 years ago
- Parser for Emacs org-mode files☆31Updated last year
- LibSSH2 FFI bindings for Haskell☆26Updated last month
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated last week
- Compute pop-up menus from text and overlay properties☆11Updated 9 years ago
- Haskell Interface for getting overall system statistics☆16Updated 6 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- ☆23Updated 7 years ago
- Easy typing of Unicode symbols in Emacs, tailored for Haskell sources☆14Updated 13 years ago
- Quick and easy INI configuration files for Haskell☆23Updated 2 years ago
- Cursor data and manipulation☆21Updated last year
- I like to work inside nix-shell and I'd like to git track my .nix files for projects but I don't want to push my .nix files upstream. Her…☆30Updated 6 years ago