Theme for Hugo static website engine
☆43Apr 2, 2021Updated 5 years ago
Alternatives and similar repositories for paperback
Users that are interested in paperback are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A responsive minimalist theme for Hugo that is simple as 1, 2, 3☆41Sep 28, 2020Updated 5 years ago
- SEO-optimised simple Hugo theme using the Bulma CSS framework☆26Oct 9, 2021Updated 4 years ago
- A High contrast, text oriented, performant and Javascript-free theme for Hugo.☆200Jul 10, 2025Updated 9 months ago
- Minimal blog theme for hugo based on Hemingway2☆65Feb 11, 2019Updated 7 years ago
- Port of Tommaso Barbato's Ghost theme Steam to Hugo☆66Jun 8, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A simple, beautiful theme for Hugo.☆188Apr 30, 2024Updated 2 years ago
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- Bundle your JS with browserify with preconfigured transforms☆14Aug 19, 2019Updated 6 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated 11 months ago
- Tiny message bus☆13Mar 3, 2017Updated 9 years ago
- ☆10Feb 22, 2016Updated 10 years ago
- My personal Gollum deployment☆15Oct 8, 2017Updated 8 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A handy cli interface to searching and opening books from your calibre library or recently read titles from your library.☆10Jun 14, 2020Updated 5 years ago
- All code and content for my blog.☆15Sep 23, 2018Updated 7 years ago
- Desktop application to manage Postgres databases☆15Jul 13, 2016Updated 9 years ago
- vIPer: a new tool for IPython notebooks.☆60Jan 7, 2015Updated 11 years ago
- Minimalist theme for gohugo☆78Apr 2, 2021Updated 5 years ago
- command line note organizer☆10Aug 23, 2018Updated 7 years ago
- bidirectional learning midi controls for supercollider☆13Feb 2, 2022Updated 4 years ago
- Fills an ndarray with a function☆20Jun 14, 2018Updated 7 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆12Jun 15, 2014Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- R markdown format and template for light-on-dark beamer presentations—with fussy extras.☆12Nov 1, 2021Updated 4 years ago
- Interactive Theorem Proving course using HOL4☆13Mar 27, 2026Updated last month
- A tiny implementation of the Levenshtein edit distance algorithm.☆13Jun 29, 2025Updated 10 months ago
- Emacs interface for dict.leo.org☆12Jan 9, 2025Updated last year
- Grid paper maker☆14Nov 16, 2019Updated 6 years ago
- Inference on marginal distributions using gradient-based optimization☆13Mar 27, 2017Updated 9 years ago
- ☆16Apr 20, 2026Updated 2 weeks ago
- Code for Interspeech2022 paper DeID-VC: Speaker De-identification via Zero-shot Pseudo Voice Conversion☆13May 6, 2023Updated 3 years ago
- A super simple function navigator for fzf☆19Feb 24, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Dhall expressions for OpenAPI 3.0.x☆13Mar 31, 2019Updated 7 years ago
- A library for graphic/symbolic score editing☆16Oct 16, 2021Updated 4 years ago
- List of hackathons in the UK open to all☆10Mar 9, 2018Updated 8 years ago
- Public Transport Victoria API client for node.js☆12May 1, 2017Updated 9 years ago
- A prospective toolbox of generative poetry☆10Feb 21, 2020Updated 6 years ago
- Kiera - A Hugo Theme for writing☆97May 13, 2023Updated 2 years ago
- Blogposts☆18Oct 31, 2014Updated 11 years ago