Browse all repositories

The game is purely made using Flutter's Animation System using AnimatedWidget and Explicit animations.

A JOSE implementation

This repository aims to show an example how to automatically prove Ada/SPARK software with Travis CI. The current process consists of downloading and installing the GPL versions of GNAT and SPARK and then build and prove the project.

A dead simple WordPress starter with ViteJS and Twig.

Vite Starter template for embedded

Common Lisp PostGIS EWKB data model and encoder/decoder

Modern nostr relay

Bring the power of Progressive web apps into your shiny dashboards! Allow users to install your dashboards allowing them to behave like a standalone application, both in desktop and mobile.

ARCHIVED: Log4J Appender for writing data into a Kinesis Stream

This package was mostly an excuse to sync up some #rstats, GIS, and D3 tricks.

Pure Elixir implementation of Fowler–Noll–Vo hash functions

FitEx is a Macro-Module which provides a bit of sugar for function definitions.

DataPilot is an AI teammate for engineers to ensure best practices in their SQL and dbt projects. DataPilot can be integrated into local environments to help identify potential issues early. It can also be integrated into Git and CI/CD to ensure certain standards are followed for data projects…

If you use our data set for experiments, please cite our paper.

Micropython library for simple graphic primitives on ST7920 128x64 monochrome LCD panel using ESP8266 and SPI

Library to painlessly convert your custom types (structs and classes) to and from JSON. This library provides the function toJSON and fromJSON to automatically convert any type to and from JSON. It is possible to override the implementation by defining your own toJSON and fromJSON member…

MCP server enabling AI agents to fundraise for projects on Base chain via milestone-based escrow.

The full tutorial on how to create this repository can be found on my blog: Serverless image generation.