Repository Index

Coq library on rewriting theory and termination

low-latency jamming space for musicians

• collaborative
• jam
• musicians
• webaudio

A list of application templates useful for hackathons and anything else

Helpers and hooks to speed up your integration with Web Monetization API

Cardea is an SSH bastion server with access control, session recording, and optional TPM-backed key protection.

• audit
• bastion
• firewall
• networking

Export content from draft-js into an abstract syntax tree.

Parse natural and standardized dates/times and ranges in Go without knowing the format in advance

Playground showing how to use swift2 protocol extensions to render errors in UIViews and UIViewControllers without subclassing

Shadertoy image shader test app with Vulkan.

Someone requested access to the ancient DIGIPAK sound drivers source code. I'm not sure why anyone would think this is useful but if so, have at it.

Visual regression testing tool.

Assorted Ruby classes and methods to simplify and enhance your code.

Ruby gem to calculate statistics from text to determine readability, complexity and grade level of a particular corpus.

• textstat
• flesch-kincaid-grade
• smog
• flesch-reading-ease

Play! framework pagination module

A cookiecutter template for Common Lisp videogame projects

• common-lisp
• cookiecutter
• cookiecutter-template
• lisp

A fish shell plugin to run a default command when none was given

• fish
• fish-plugin
• fish-shell
• plugin

ROS package to run coverage testing

Easy asynchronous loading for your router components. For 440B.

• preact
• preact-components
• microbundle
• preact-router

Reactive state and effect management with RxJS

• reactive
• state-management
• effects
• react

Swift 5 playgrounds to view and manipulate sorting algorithms.

Draw a polygon on the map or paste a geoJSON and explore how the s2.RegionCoverer covers it with S2 cells depending on the min and max levels

• s2
• geojson
• go

Sample integrating aurelia with identityserver 4 and docker

AKS based jmeter testing framework with Grafana reporting

Demostrates BDD approach with Mobile testing