Repository Index

Mostly Automated Synthesis of Correct-by-Construction Programs

An inkwell to use custom fonts on the fly.

• font
• google-fonts
• inkwell
• fonts

Go middleware for monetizing your API on a per-request basis with Bitcoin and Lightning ⚡️

• go
• golang
• middleware
• micropayments

Angular Developer Roadmap

• roadmap
• developer-roadmap
• angular-developer
• angular-developer-roadmap

Declarative form building framework for iOS

A featureful fork of beatoraja

ASP.NET Core Extension Library

• asp-net-core
• tag-helper
• pager
• mvc

Yew Styles is a style framework for yew

Móvel - Dashboard for Raspberry pi car computer

• obd
• car
• raspberry-pi
• car-computer

An OCaml generic virtual machine for microcontrollers

Firebase to Supabase Migration Guide

🧪 Lightweight health check utilities for Docker containers

• checkhttp
• checkport
• docker
• docker-image

A npm package for testing files or url's again the wc3 validator

JSON for Humans - with unquoted identifiers, multi-line strings and comments

The fastest web framework in V language (vlang)

• v
• vlang
• web
• web-framework

Xcode extension for generating MARK comments.

• mark
• mark-comments
• xcode-extension
• swift

TranslatedTune the AstrBot connected to QQ into "大肥鱼" (Dafeiyu, "big fat fish"): persona, sticker packs, voice, singing, long-term memory, proactive chat, one-click import (MIT)

Bolei's archive on generative modeling

lua code export save to be run on seedsow switch demo exploit

Bold for Delphi is a Model Driver Architecture (and ORM library) for Embarcadero Delphi

Get your device ip address, router ip or wifi ssid

• swift
• objc
• ip
• wifi

Another UITabBar & UITabBarController (iOS Tab Bar) replacement, but uses Auto Layout for arranging it's views hierarchy.

I love to teach dotnet concepts in a simple way with real world examples to people who aspire to to be a dotnet developer. I also help developers to refresh their memory with easy to understand analogy.

• dotnet
• csharp
• linq
• blazor

Translated麦麦心情调色盘 (Maimai Mood Palette, "McMc mood palette") — a Skill for mood × nutrition recommendations and ordering based on McDonald's MCP (entry for the Programmer Creative Development Contest)