beerendlauwers / hakyll-extraView external linksLinks
A bunch of extra functionality for Hakyll-based sites.
☆11Sep 30, 2015Updated 10 years ago
Alternatives and similar repositories for hakyll-extra
Users that are interested in hakyll-extra are comparing it to the libraries listed below
Sorting:
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 10 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- A geometric algebra implementation in Haskell☆32Sep 7, 2020Updated 5 years ago
- The theme for LD31 was "Entire Game on One Screen"☆27Dec 18, 2016Updated 9 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆29Jan 7, 2026Updated last month
- A hashing-based graph implementation in Haskell☆33Jul 2, 2018Updated 7 years ago
- A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.☆34Apr 5, 2024Updated last year
- topos programming☆31Sep 20, 2018Updated 7 years ago
- Some operator abuse☆29Oct 23, 2017Updated 8 years ago
- Narou.rb - 小説家になろうのダウンローダ＆縦書き整形＆管理アプリ。Kindle（などの電子書籍端末）でなろうを読む場合に超便利です！☆12Jan 3, 2025Updated last year
- ☆12Oct 13, 2022Updated 3 years ago
- ☆11Dec 19, 2024Updated last year
- std::iter feature complete(-ish) lending iterator for Rustlang☆16Updated this week
- Fourmolu GitHub Action☆13Oct 25, 2024Updated last year
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- Zhang Wang Fast Approximate Quantiles Algorithm in Rust☆13Jan 3, 2022Updated 4 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated last month
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- Pelican theme based on Bootstrap☆11Jun 17, 2023Updated 2 years ago
- Levenshtein edit distance, packaged for ATS☆12Apr 11, 2022Updated 3 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- public-facing repo for my serverless implementation of the statusphere app using cloudflare workers and durable objects☆21Jul 24, 2025Updated 6 months ago
- Reliable AI Manifesto☆28Nov 3, 2025Updated 3 months ago
- Haskell graph library☆10Dec 18, 2017Updated 8 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Accepted papers for PLDI 2014☆15May 19, 2016Updated 9 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- KaTeX + coloring + interactivity to make equations explained well (prototype)☆17Dec 31, 2025Updated last month
- ☆11Feb 15, 2022Updated 4 years ago
- Template CrewAI allowing for selection of multiple agents including GPT-3, GPT-4, Mixtral, Llama 3, and Gemma☆11May 11, 2024Updated last year
- neovim plugin for ghcid☆15Dec 8, 2025Updated 2 months ago
- A plugin for llm to support structured outputs.☆13Feb 1, 2025Updated last year
- Pattern matching in javascript☆48Mar 8, 2010Updated 15 years ago
- Get a council of LLMs to advise consult for you! A plugin for the llm cli utility☆16Feb 1, 2025Updated last year
- Code for working with differential forms in context of control theory on basis of sympy☆14Feb 25, 2019Updated 6 years ago
- Xfce desktop including wine, playonlinux and pulseaudio.☆11Aug 11, 2022Updated 3 years ago
- DAML library for integration with Ethereum (driven using DAML's Java bindings, web3j, ethereumj and Infura)☆11Dec 5, 2023Updated 2 years ago
- An extreme condensation of the tutorial for Haskell's Servant (web server and client) library☆11Feb 2, 2018Updated 8 years ago
- SLSA Proposals☆11Jan 29, 2024Updated 2 years ago