Drop-in CSS themes for syntax highlighting in Hakyll
☆29Sep 25, 2021Updated 5 years ago
Alternatives and similar repositories for hakyll-css
Users that are interested in hakyll-css are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My home manager config☆16Aug 18, 2026Updated 2 months ago
- Sources for my Blog☆28Oct 8, 2023Updated 3 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- A List of Haskell articles on good design, good testing☆46Dec 11, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 5 years ago
- Source for abhinavsarkar.net☆11Apr 22, 2026Updated 6 months ago
- A Haskell library to pretty print data in a tabular format☆11Mar 18, 2018Updated 8 years ago
- Hakyll + Nix starter template☆63Oct 26, 2026Updated last week
- A parallel programming model for online applications with complex synchronization requirements.☆17Jun 8, 2022Updated 4 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Mar 15, 2019Updated 7 years ago
- collection of hakyll themes from the community☆18Jan 24, 2021Updated 5 years ago
- Uppity -- The pastebin client with an attitude☆14Sep 17, 2013Updated 13 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.
- A collection of computational methods in science.☆12Jan 6, 2017Updated 9 years ago
- Describe Haskell code in GHCi☆72Jul 27, 2017Updated 9 years ago
- @ryantm's dotfiles☆16Oct 2, 2026Updated last month
- A Transient Designer plugin☆11Nov 20, 2020Updated 5 years ago
- personal website and blog☆14Mar 14, 2015Updated 11 years ago
- Discontinued! See https://github.com/timokau/marvin-mk2/issues/34#issuecomment-1100656280 (Previously: "Making sure your PR gets a review…☆19Apr 16, 2022Updated 4 years ago
- Library of useful utility functions for Coq plugins☆13Jul 17, 2024Updated 2 years ago
- An applicative monad that batches commands for later more efficient execution☆28Jan 21, 2018Updated 8 years ago
- Commonly useful extensions for the MMark markdown processor☆12Sep 29, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Static site generator built on Shake configured in Haskell☆225Oct 12, 2025Updated last year
- embed haskell diagrams in emacs org-mode files☆10Apr 7, 2016Updated 10 years ago
- Nix Workshop Tutorials☆51Jun 18, 2021Updated 5 years ago
- A translation of GHC's Users Guide to Japanese☆15Aug 30, 2016Updated 10 years ago
- Simple Python library to parse GPT (GUID Partition Table) header and entries, useful as a learning tool☆11Oct 17, 2012Updated 14 years ago
- A set of Hasktorch tutorials based on pytorch-tutorial☆10Dec 22, 2020Updated 5 years ago
- Slides and code examples for a talk☆22Dec 19, 2017Updated 8 years ago
- A library for generic programming that aims to be easy to understand☆26Mar 24, 2026Updated 7 months ago
- Yet another static site generator - non-opinionated, value-level. Less magic == easier to understand☆120Oct 25, 2022Updated 4 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.
- Tic Tac Toe, formalized in Agda☆25Oct 19, 2021Updated 5 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- A context-aware filename overlay for Neovim. Includes Git status, diagnostics, and filetype icons.☆12Dec 22, 2025Updated 10 months ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- lenses, folds, traversals, prisms for taggy☆21Apr 7, 2022Updated 4 years ago
- A Haskell Package for unescaping unicode characters in print and show.☆18Mar 27, 2022Updated 4 years ago