The only web-scale, fully customizable OpenID Certified™ OpenID Connect and OAuth2 Provider in the world. Become an OpenID Connect and OAuth2 Provider over night. Written in Go, cloud native, headl…

Wife approved HomeOps driven by Kubernetes and GitOps using Flux

The multi-threaded frontend framework for ultra-fast, desktop-like enterprise web applications

🍝 PureScript package manager and build tool

Provides standard objects and functions for working with dates and times.

Simple and flexible tool for managing secrets

An open-source framework for detecting, redacting, masking, and anonymizing sensitive data (PII) across text, images, and structured data. Supports NLP, pattern matching, and customizable pipelines.

Extensible security first OAuth 2.0 and OpenID Connect SDK for Go.

The symbolic execution engine powering the K Framework

A proxy server for adding push to your API, used at the core of Fastly's Fanout service

A simple, Git-powered wiki with a local frontend and support for many kinds of markup and content.

🚀 A lightweight, framework-agnostic database migration tool.

BNF wrangling and railroad diagrams

Salesforce Open Source Library

Optimization framework for web pages and applications

A strongly-typed language that compiles to JavaScript

The router for easy microfrontends

My personal site.

NixOS Vagrant boxes [maintainer=@ifurther]

4 Axis 3D Printer

Exemplary real world application built with PureScript + Halogen

Storage for private, distributed, offline-first applications.

A parser generator for visibly pushdown languages.

Miscellaneous scripts to enhance bash (prompt, adding directories to variables, ...)

Fully customizable login flow for your applications. Get started in minutes, not hours!

Concur UI Framework for Purescript

Programming Language Theory λΠ

Define Backwards Compatibility Schemes for Arbitrary Data

A List of Foundational Haskell Papers