Postgres Message Queue (PGMQ) Deno Client Library

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges.

Integration robot for buildbot and github

A simple utility for running exhaustiveness checks on Go "sum types."

A massively parallel, optimal functional runtime in Rust

A suite of tools to automate software compliance checks.

A new Categories library for Agda

Material Components for Elm

AqBanking Mirror (https://git.aquamaniac.de/git/aqbanking)

Library for serializing the GeoJSON vector GIS file format

Test elm install of all packages

Boilerplate to create Single Page Applications in Elm

Autocomplete - an adult and kid friendly exercise in creating a predictive program

A tool for simulating an arbitrary connection between two network endpoints

It's Magit! A Git Porcelain inside Emacs.

Implementation of "practical type inference for arbitrary-rank types" in Javascript

Offline Elm development!

Parsing Expression Grammar (PEG) parser generator for Rust

Example of using shared state as means to break up code

Drag and Drop for sortable lists in Elm web apps with mouse support

Elm implementation of the Hackernews PWA

Command line tool to auto-generate custom types for Elm with accompanying JSON encoders/decoders from a file of enum definitions.

Elm library to implement a color picker tool

A Tiny WebGL helper Library

A modern proof language

What if you never had to write CSS again?

A reusable date picker component in Elm 0.19.

An Elm package for working with dates without times or zones

Easy to use analytics/visualization tool for ledger-cli

Double-entry accounting system with a command-line reporting interface