Source of my personal blog, using Markdown, Jekyll and Heroku
☆14Feb 24, 2026Updated 3 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:
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- A blend of the compact and sparse hash table implementations.☆15Aug 20, 2021Updated 4 years ago
- Gherkin DSL for Ginkgo☆11Nov 15, 2023Updated 2 years ago
- Python versioned abstract syntax trees and interface to the Python parser☆13Oct 28, 2022Updated 3 years ago
- ☆10Mar 10, 2024Updated 2 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.
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- Notes I've scribbled down at tech conferences☆18Feb 10, 2021Updated 5 years ago
- This repo contains the reference materials to my Craft Conf 2015 talk☆12Apr 28, 2015Updated 11 years ago
- A formal specification of snapshot isolation.☆20Jul 17, 2025Updated 10 months ago
- Event Sourcing and Microservices Stack for Ruby☆13Apr 21, 2024Updated 2 years ago
- Command pattern for Go with thread safe serial and parallel dispatcher☆14Apr 20, 2016Updated 10 years ago
- Github Action problem matcher for the Sphinx documentation tool☆15Dec 26, 2023Updated 2 years ago
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 5 years ago
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 4 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.
- A sample of major outages and incidents☆19Jul 27, 2019Updated 6 years ago
- Gleam Client for Sentry Error tracking☆12Mar 13, 2021Updated 5 years ago
- A query string parser for Gleam☆12Feb 25, 2025Updated last year
- Efficient functorized iterators for OCaml.☆14Feb 23, 2018Updated 8 years ago
- An integer queue example used in a blog post at https://www.calhoun.io☆11May 10, 2017Updated 9 years ago
- Examples showing mechanisms of `Maybe` monad and `do-notation`.☆14Jun 29, 2023Updated 2 years ago
- Reference materials for my FullStackFest 2016 talk☆19May 7, 2017Updated 9 years ago
- Get the absolute file path to a bin entry of an installed dependency☆17May 4, 2022Updated 4 years ago
- a sql parser for postgres using golang from cockroachdb☆15Aug 11, 2020Updated 5 years ago
- 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.
- Erlang port mapper module that uses Consul instead of EPMD☆15Jun 26, 2020Updated 5 years ago
- WIP: Reflect based mediator for CQRS☆13Oct 20, 2020Updated 5 years ago
- How to use TLA+ / TLA+ specification of the ClickHouse replication protocol☆17Jun 18, 2019Updated 6 years ago
- A client for the SendGrid transactional email API☆15Apr 19, 2026Updated last month
- The HAT-trie, written in C, as described in my PhD thesis.☆21Nov 17, 2016Updated 9 years ago
- 💬 Gleam bindings for the standard JavaScript Request and Response APIs☆18Jun 30, 2025Updated 10 months ago
- A Gleam implementation of Erlang logger inspired from Logrus☆11Apr 12, 2024Updated 2 years ago
- TLA+ and Alloy specs of database isolation☆20Oct 13, 2015Updated 10 years ago
- ☆22Jun 28, 2019Updated 6 years ago
- 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.
- 🌌 gleam gemini server library☆11Nov 27, 2024Updated last year
- ☆11Jul 6, 2016Updated 9 years ago
- A Gleam mathematics and statistics library.☆12Nov 16, 2022Updated 3 years ago
- golang implementation of futures/promises☆16Feb 12, 2023Updated 3 years ago
- Data bindings for Dojo☆29Mar 31, 2014Updated 12 years ago
- Hyperparameter Tuning for Deep Learning☆16Feb 5, 2020Updated 6 years ago
- "How to Specify it" in Java and jqwik☆26Jan 7, 2022Updated 4 years ago