an Octopress blog by Jake Zimmerman
☆16Jan 21, 2026Updated 2 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:
- A command-line benchmarking tool to measure the startup times of programs in various languages☆14Oct 17, 2020Updated 5 years ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆11Sep 9, 2021Updated 4 years ago
- Refactorio is a tool with which you build and maintain software.☆19Jun 3, 2024Updated last year
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Personal neovim configuration☆12Apr 7, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Haskell interface to Kinect.☆25Aug 26, 2015Updated 10 years ago
- ☆10Feb 14, 2026Updated 2 months ago
- ↔️ tight ghci integration for vim☆17Oct 21, 2022Updated 3 years ago
- ☆18May 23, 2020Updated 5 years ago
- SMLDoc, detached from the SML# distribution☆11Oct 22, 2011Updated 14 years ago
- Standard ML Infrastructure for writing LSP servers☆14Feb 6, 2026Updated 2 months ago
- Taylor Fausak's blog.☆19Mar 26, 2026Updated 2 weeks ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆37Oct 25, 2024Updated last year
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Ragged writings on all things☆15Jan 24, 2022Updated 4 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Jan 18, 2020Updated 6 years ago
- www☆16Jan 11, 2024Updated 2 years ago
- My "fork" of Adrian Thurston's syntax file☆15Dec 23, 2017Updated 8 years ago
- Standard ML autoformatter☆15Dec 25, 2021Updated 4 years ago
- Code repository for "AWS via Haskell" series of blog posts☆21Mar 17, 2018Updated 8 years ago
- A simple database to store a stream of events (facts) and retrieve them by index☆17Apr 27, 2020Updated 5 years ago
- Tool for detecting bad style in Standard ML programs☆17Mar 10, 2019Updated 7 years ago
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Applying the "finally tagless, partially evaluated" style to a D3 eDSL☆14Jan 29, 2026Updated 2 months ago
- ☆25Jul 16, 2017Updated 8 years ago
- Instances for QuickCheck classes☆17Jan 8, 2026Updated 3 months ago
- Simple PureScript CSV parser☆10Nov 29, 2022Updated 3 years ago
- The New Pact☆25Oct 20, 2025Updated 5 months ago
- 🧛🏻♂️ Dark theme for Ulysses☆10Mar 21, 2022Updated 4 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- Safe web routing in haskell☆30Apr 25, 2023Updated 2 years ago
- This is a repo for revising elements of "Interactive and Dynamic Graphics for Data Analysis".☆14Jan 23, 2026Updated 2 months 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 stylesheet for rst2html5.py☆11Jun 29, 2015Updated 10 years ago
- Remark plugin to replace your emoji by using Twemoji.☆10Jan 21, 2026Updated 2 months ago
- Personal website☆10Updated this week
- Make OCaml Errors Great Again.☆13Nov 20, 2018Updated 7 years ago
- My personal dotfiles with automated macOS setup. Features smart installation scripts, Bats testing (bash), performance monitoring, and 2…☆11Feb 6, 2026Updated 2 months ago
- All code and content for my blog.☆15Sep 23, 2018Updated 7 years ago
- chrome extension to display github stars in repo links☆12Sep 25, 2024Updated last year