gdevanla / pandoc-markdown-ghci-filterView external linksLinks
A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.
☆14Jul 11, 2019Updated 6 years ago
Alternatives and similar repositories for pandoc-markdown-ghci-filter
Users that are interested in pandoc-markdown-ghci-filter are comparing it to the libraries listed below
Sorting:
- ☆16Oct 5, 2022Updated 3 years ago
- Hackager tool for releasing Haskell packages to Hackage☆32Sep 17, 2025Updated 4 months ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Directed Acyclic Graphs☆21Jan 12, 2025Updated last year
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 2 months ago
- 👅 Parse Haskell Language Extensions☆48Sep 27, 2025Updated 4 months ago
- Turn an optparse-applicative program into a CGI program!☆35Feb 19, 2020Updated 5 years ago
- open union and open product types in Haskell☆31Aug 9, 2020Updated 5 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Parse and render URI templates.☆16Jan 14, 2026Updated 3 weeks ago
- Algebraic Effects in Haskell using Implicit Parameters☆47Aug 16, 2020Updated 5 years ago
- Scan Haskell code with HLint.☆23Feb 2, 2026Updated last week
- Library for generating Haskell source files and code fragments.☆102Updated this week
- Benchmarking tool with focus on comparing results.☆16Sep 7, 2024Updated last year
- Haskell Configuration Loader☆19Feb 3, 2026Updated last week
- Haskell time library focusing on performance☆59Nov 24, 2025Updated 2 months ago
- GHC version of haskell-src-exts exactPrint☆72Oct 14, 2025Updated 3 months ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Dec 26, 2025Updated last month
- Diffing of (expression) trees.☆79Jul 9, 2025Updated 7 months ago
- Haskell bindings to ArrayFire☆60Dec 14, 2024Updated last year
- Compile-time checking for partial smart-constructors☆20Jul 13, 2023Updated 2 years ago
- 🍰🍴Template project based on the cake-slayer architecture library☆19Jan 11, 2023Updated 3 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Mar 17, 2019Updated 6 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- static analysis of free monads☆24Jul 10, 2018Updated 7 years ago
- Extensive collection of color spaces and color models☆60Oct 20, 2025Updated 3 months ago
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 years ago
- Agda formalization of Intuitionistic Propositional Logic☆22Nov 14, 2025Updated 2 months ago
- 🌋 Idris implementation of patricia tree☆23Nov 6, 2020Updated 5 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- Basic Hakyll + Bootstrap site☆29Nov 23, 2017Updated 8 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Implementation of named parameters for `postgresql-simple` library☆39Nov 28, 2025Updated 2 months ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- STM on Free monads☆25May 16, 2018Updated 7 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Apr 21, 2021Updated 4 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago