✍️ My blog. Custom static site generator.
☆32Mar 30, 2026Updated 5 months ago
Alternatives and similar repositories for blog
Users that are interested in blog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- haskell project using nix☆17Jan 3, 2021Updated 5 years ago
- X11 status bar with beveled borders☆14Nov 14, 2024Updated last year
- Emacs Magit extension for CircleCI☆34Jun 6, 2024Updated 2 years ago
- Countdown timer for bubbly events☆22May 15, 2024Updated 2 years ago
- Quarto template for the Taylor and Francis "interact" class☆15Jun 13, 2023Updated 3 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.
- Extra resources for Tweag's blog posts.☆43Sep 30, 2025Updated 11 months ago
- Haskell library for the Chrome DevTools Protocol☆11Updated this week
- Starter files for using Pandoc Markdown with Tufte CSS☆357Nov 3, 2025Updated 10 months ago
- A tiny, single-file yesod app that can be used as a base for reproducing bugs☆14Mar 24, 2022Updated 4 years ago
- Helper functions for Parent/Child communication in stateless components☆13Apr 20, 2017Updated 9 years ago
- Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄☆20Aug 12, 2024Updated 2 years ago
- ☆39Oct 19, 2017Updated 8 years ago
- Public ~/bin☆15Jul 10, 2021Updated 5 years ago
- The actual Taigabot.☆14Apr 21, 2026Updated 4 months 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.
- ☆12Jan 2, 2026Updated 8 months ago
- Code for my personal website☆11Mar 29, 2021Updated 5 years ago
- Alloy within Kotlin☆32Aug 10, 2023Updated 3 years ago
- Yuyulinux, a quite experimental lightweight Linux distribution based on pacman. Also stands as proof for the fact Linux *is* about choice…☆22Jun 30, 2014Updated 12 years ago
- bringing back jemdoc☆10Feb 9, 2023Updated 3 years ago
- Moved to https://codeberg.org/ncf/config☆28Mar 15, 2026Updated 5 months ago
- ☆17Jan 10, 2020Updated 6 years ago
- 🤖 A simple, modular, Discord bot ✨☆11Apr 19, 2023Updated 3 years ago
- A minimal, immutable NixOS-based distro with automatic A/B updates☆27Apr 7, 2026Updated 5 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.
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- ☆10Feb 20, 2017Updated 9 years ago
- Assortment of IDA scripts for an assortment of game consoles, PS2, PS4, etc☆12Feb 26, 2021Updated 5 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Kotlin Onboarding 1: Introduction☆11Jul 28, 2026Updated last month
- Compile Kotlin code and run Kapt annotation processing directly from Kotlin☆12Mar 28, 2026Updated 5 months ago
- Super simple test to check Http4k with Loom☆11Dec 12, 2022Updated 3 years ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Assertions for Types Defined in Arrow Kt Core LIbrary☆13Oct 31, 2025Updated 10 months ago
- A fast, declarative, and extensible package manager for Kotlin.☆11Sep 9, 2025Updated 11 months ago
- A browser-only web interface to the free-theorems library☆12May 22, 2025Updated last year
- A dnSpy extension to hot-reload themes☆12Dec 27, 2020Updated 5 years ago
- Z39.50 integration for Flask applications.☆13Jan 19, 2020Updated 6 years ago
- Poké-Fun with Kotlin and Arrow☆12Aug 27, 2026Updated last week
- generate facts useful for deployments☆12Jan 16, 2014Updated 12 years ago