medium inspired theme for hakyll
☆10Jul 27, 2021Updated 4 years ago
Alternatives and similar repositories for CleanMagic-hakyll
Users that are interested in CleanMagic-hakyll are comparing it to the libraries listed below
Sorting:
- Basic Hakyll + Bootstrap site☆29Nov 23, 2017Updated 8 years ago
- Hakyll powered blog for yannesposito.com☆41Apr 6, 2020Updated 5 years ago
- A dec-bin converter uses 2's complement.☆10Sep 24, 2024Updated last year
- Applications leveraged by Statistics Canada, ready to launch on Kubernetes using Helm.☆10Dec 8, 2025Updated 2 months ago
- Repo for systematical requesting cryptocurrency exchanges' and platforms' REST-APIs for: (1) static data, (2) real-time data and (3) hist…☆16Apr 23, 2022Updated 3 years ago
- Bydelsfakta is a frontend application for Oslo municipality which visualises demographic statistics and data on various topics for the 15…☆10Updated this week
- ☆11Dec 13, 2022Updated 3 years ago
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 3 weeks ago
- Pelican theme based on Bootstrap☆11Jun 17, 2023Updated 2 years ago
- Decentralized Money Market☆10Jan 4, 2023Updated 3 years ago
- Code for working with differential forms in context of control theory on basis of sympy☆14Feb 25, 2019Updated 7 years ago
- A library that records Emacs inter-key timings.☆10Oct 11, 2017Updated 8 years ago
- Simple Bash script that shows LaTeX equations inline in the terminal☆10Apr 24, 2016Updated 9 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- ☆11Jul 2, 2024Updated last year
- A fork of Open Quantum Safe Project's fork of OpenSSL 1.1.1m, which adds QUIC protocol support from the quictls project.☆10Feb 9, 2022Updated 4 years ago
- ☆16Jan 23, 2026Updated last month
- ooesili does dotfiles☆18Jul 19, 2024Updated last year
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 2 months ago
- VSCode Plugin for Gobra☆11Updated this week
- Understanding AMM models in DeFI☆10Jul 28, 2021Updated 4 years ago
- A bunch of extra functionality for Hakyll-based sites.☆11Sep 30, 2015Updated 10 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- A generic token-curated registry☆10Nov 28, 2018Updated 7 years ago
- ☆13Apr 25, 2022Updated 3 years ago
- ☆11Feb 29, 2024Updated 2 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- ☆14Feb 14, 2025Updated last year
- ☆13Jan 23, 2022Updated 4 years ago
- DonDNS - DonDominio Dynamic IP Client☆12Mar 10, 2020Updated 5 years ago
- ☆10Jan 11, 2017Updated 9 years ago
- This package makes it easy to run AWS Lambda Functions written in Haskell☆13Dec 3, 2018Updated 7 years ago
- Fully collateralised vanilla and bounded (capped call and floored put) crypto options☆15Sep 11, 2020Updated 5 years ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- Optimisation on Diffeomorphisms☆12Feb 17, 2025Updated last year
- An Interactive Force Directed Graph in D3.js☆46Feb 1, 2015Updated 11 years ago
- NorESM Land Sites Platform (NorESM-LSP) for site-level simulation over land with CLM-FATES☆13May 12, 2025Updated 9 months ago
- mechanical-elephant.com☆11Jan 29, 2016Updated 10 years ago
- An agent-based model of decentralized dispute resolution oracle.☆12Oct 4, 2018Updated 7 years ago