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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only 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 51 13 Updated Aug 31, 2022

Argo is a modular HTTP gateway for Web APIs.

JavaScript 88 7 Updated Jul 21, 2020

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

Ruby 84 101 Updated Jan 26, 2016

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

Ruby 948 161 Updated Nov 10, 2024

Herd is a managed data lake for the cloud. The Herd unified data catalog helps separate storage from compute in the cloud. Manage petabytes of data and make it accessible for data processing and an…

Java 135 41 Updated Oct 1, 2022

HTML5/EPUB3 version of SICP

HTML 4,353 600 Updated Apr 14, 2023

REST API for any Postgres database

Haskell 23,424 1,029 Updated Nov 6, 2024

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

Python 56,305 4,015 Updated Nov 12, 2024

A pure Haskell implementation of Datalog

Haskell 102 13 Updated Aug 18, 2020

contrib.datalog brought back to life

Clojure 53 5 Updated Apr 25, 2014

Interactive Datalog Tutorial

Clojure 352 53 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 42,727 9,554 Updated Nov 11, 2024

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,352 491 Updated Oct 8, 2024

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

JavaScript 1,765 1,149 Updated May 22, 2021

Blog post previews in need of peer review

2,199 170 Updated Jul 19, 2023

This repo contains a collections of common Serverless Design Patterns.

JavaScript 81 6 Updated May 7, 2017

Thin Scala wrapper for the Kafka Streams API

Scala 50 11 Updated Mar 29, 2018

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

Java 2,318 195 Updated Nov 11, 2024

A collection of TLA⁺ specifications of varying complexities

TLA 1,288 199 Updated Oct 30, 2024

Introduction to PureScript materials.

PureScript 31 5 Updated May 24, 2017

Example Clara Rules

Clojure 89 32 Updated Sep 6, 2021

Quick, graphical, fun introduction to programming in Scala.

Scala 206 64 Updated Oct 29, 2024

Source code for Scala with Cats

Scala 397 133 Updated Aug 14, 2024

Source code for Underscore's Essential Scala

Scala 119 28 Updated Oct 11, 2024

Patterns for building interpreters in Scala

Scala 51 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 243 27 Updated Dec 16, 2020

Fast Clojure Matrix Library

Clojure 1,076 56 Updated Nov 1, 2024

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

Ruby 436 59 Updated Oct 21, 2024

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

Objective-C 40 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 27 17 Updated Jan 23, 2017
Next