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 7 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Oct 5, 2022Updated 4 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- A typesafe wrapper around monetary values represented as numeric values, allowing only sensible operations.☆14Jun 2, 2025Updated last year
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 8 years ago
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 11 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 👅 Parse Haskell Language Extensions☆48Jun 6, 2026Updated 4 months ago
- Hackager tool for releasing Haskell packages to Hackage☆34Oct 6, 2026Updated 3 weeks ago
- CLI tool for Hackage☆27Aug 23, 2026Updated 2 months ago
- 🌋 Idris implementation of patricia tree☆23Nov 6, 2020Updated 5 years ago
- Parse and render URI templates.☆17Oct 2, 2026Updated last month
- Bind The Gap: FP digital magazine☆21Jan 11, 2021Updated 5 years ago
- GHC version of haskell-src-exts exactPrint☆74Oct 6, 2026Updated 3 weeks ago
- Haskell time library focusing on performance☆60Nov 24, 2025Updated 11 months ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Jul 15, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Scan Haskell code with HLint.☆23Updated this week
- Compile-time checking for partial smart-constructors☆20Jul 13, 2023Updated 3 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Apr 21, 2021Updated 5 years ago
- open union and open product types in Haskell☆31Aug 9, 2020Updated 6 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Oct 10, 2025Updated last year
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Oct 10, 2024Updated 2 years ago
- Easy bidirectional serialization in Haskell☆49Dec 12, 2018Updated 7 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 3 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Jul 16, 2021Updated 5 years ago
- Seamlessly switch between versions of GHC and company☆10Oct 16, 2018Updated 8 years ago
- ListT done right☆16Oct 11, 2023Updated 3 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 5 years ago
- Haskell bindings to ArrayFire☆60Jun 23, 2026Updated 4 months ago
- Simple testing toolkit☆10May 28, 2021Updated 5 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.☆18Mar 17, 2019Updated 7 years ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- ☆13Mar 30, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Library for generating Haskell source files and code fragments.☆101Feb 9, 2026Updated 8 months ago
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 years ago
- Non-empty Vectors☆29Updated this week
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated 2 years ago
- Haskell sort as fast as C++ (on some platforms)☆16Aug 23, 2025Updated last year
- Haskell bindings to Chez Scheme☆11Sep 4, 2023Updated 3 years ago
- 💝 Haskell profiles to sponsor☆47Oct 28, 2021Updated 5 years ago