Skip to content
View griorgair's full-sized avatar

Block or report griorgair

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

libsodium asynchronous port driver for Erlang and Elixir

C 52 15 Updated Aug 31, 2022

Argo is a modular HTTP gateway for Web APIs.

JavaScript 86 7 Updated Jul 21, 2020

An OpsCode Chef cookbook for monitoring services, wrapping the Sensu cookbook.

Ruby 82 97 Updated Jan 26, 2016

Test command-line applications with Cucumber-Ruby, RSpec or Minitest.

Ruby 969 163 Updated Aug 9, 2026

HTML5/EPUB3 version of SICP

HTML 4,519 632 Updated Apr 14, 2023

REST API for any Postgres database

Haskell 27,581 1,224 Updated Aug 10, 2026

💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline

Python 65,144 4,788 Updated Mar 23, 2026

A pure Haskell implementation of Datalog

Haskell 104 15 Updated Aug 18, 2020

contrib.datalog brought back to life

Clojure 56 5 Updated Apr 25, 2014

Interactive Datalog Tutorial

Clojure 376 57 Updated Jan 8, 2023

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared …

Go 49,477 10,607 Updated Aug 11, 2026

Phaser CE is a fun, free and fast 2D game framework for making HTML5 games for desktop and mobile web browsers, supporting Canvas and WebGL rendering.

JavaScript 1,394 484 Updated Jan 21, 2026

Contains hundreds of source code examples and related media for the Phaser HTML5 Game Framework.

JavaScript 1,787 1,123 Updated Dec 27, 2024

Blog post previews in need of peer review

2,200 175 Updated Jul 19, 2023

This repo contains a collections of common Serverless Design Patterns.

JavaScript 80 6 Updated May 7, 2017

Thin Scala wrapper for the Kafka Streams API

Scala 49 10 Updated Mar 29, 2018

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java 2,995 263 Updated Aug 12, 2026

A collection of TLA⁺ specifications of varying complexities.

TLA 1,553 223 Updated Aug 11, 2026

Introduction to PureScript materials.

PureScript 31 5 Updated May 24, 2017

Example Clara Rules

Clojure 92 31 Updated Sep 6, 2021

Quick, graphical, fun introduction to programming in Scala.

Scala 209 66 Updated Nov 24, 2025

Source code for Scala with Cats

Typst 418 139 Updated Jan 21, 2026

Source code for Underscore's Essential Scala

Scala 118 30 Updated Oct 11, 2024

Patterns for building interpreters in Scala

Scala 50 6 Updated Jul 28, 2017

Using Jekyll to create outputs that can be used as Pandoc inputs. In short - input markdown, output mobi, epub, pdf, and print-ready pdf. With a focus on fiction.

Ruby 247 25 Updated Dec 16, 2020

Fast Clojure Matrix Library

Clojure 1,128 61 Updated Jul 31, 2026

CLI for book generation, building, and publishing to softcover.io

Ruby 447 62 Updated Jun 24, 2026

Tested, working functional programming tools for MATLAB. Yes, really.

Objective-C 41 7 Updated Sep 14, 2012

Sample code for the "Kotlin and Groovy JVM Languages with AWS Lambda" blog post. Shows how to deploy AWS Lambda functions using Kotlin and Groovy JVM languages.

Kotlin 29 17 Updated Jan 23, 2017

Experimental tools for working with Clara

JavaScript 21 10 Updated Oct 5, 2016
Next