This Jekyll plugin allows to you write literate Agda. It will compile your code using Agda itself, producing beautifully highlighted and hyperlinked pages.

add unixtime query string for assets every build.

Jekyll filter that uses Bit.ly to shorten URLs.

Provides a simple category generator allowing filtering and easy configuration for Jekyll.

Plugin for Jekyll to publish your Jekyll site to both the Web and Geminispace from the same set of source Pages and Posts

Use Gemtext source files (*.gmi and *.gemini) files in the Jekyll static site generator

Syntax highlighter for code and text.

Include snippets of text from external files into your markdown

Import posts from notion

Generates an article series list from Markdown front-matter.

This Jekyll plugin is heavily inspired by Gerby, the tool used to build the Stacks Project and Kerodon. It allows you to build math textbooks as static websites which require no complex infrastructure to run.

Updates the nav_order in front matter of pages that are in the subnav links

A Jekyll plugin that installs basic minicomp/wax components

Fork of rubyonJets - emergency fix for handling AWS CF 60 Output limit. Will PR later. If you want to use jets please see http://rubyonjets.com

This is a fix for mounted rack apps. It resets the gem to an inbetween commit between 3.0.17 and 3.0.18. Jets is a framework that allows you to create serverless applications with a beautiful language: Ruby. It includes everything required to build and deploy an application. Jets leverages the p...

Jets is a framework that allows you to create serverless applications with a beautiful language: Ruby. It includes everything required to build an application and deploy it to AWS Lambda. Jets makes serverless accessible to everyone.

Gathers git information for Jets.

A set of Jets responders to dry up your application

Jets Upgrade Tool

Wraps around your CI integration to detect and warn about n+1 queries before they're merged