Repository Index

TranslatedMarkdown formatter for WeChat articles

• article
• content-creation
• editor
• export

A Verified Compiler for Gallina, Written in Gallina

• coq
• gallina
• compiler
• formal-verification

Graduation from messy XCTAssertEqual messages.

• swift
• testing
• diff
• library

LÖVE Game Development & Automated Build System ⚡

• love2d
• lua
• template
• vscode

View your Neovim configuration insights, history, and heatmaps.

• neovim
• volt
• nvim
• neovim-plugin

Multi-dimensional Swift math

• math
• swift

Event-Sourcing and Domain-Driven Design with F# and EventStore

Idégeneratorn – an AI idea board: goals, a calibrated jury, an evolution autopilot, scouts for X trends and AI research, and gold ideas that become Claude Code projects.

Turn-key research data management platform.

Magento 2 module to log to Sentry

• php
• magento2
• magento2-extension
• sentry

`elm make` in watch mode. Fast and reliable.

• elm
• watcher

🐦💬 Update a gist to contain your latest tweet

• pinned-gist

Smuxi is an user-friendly and free IRC client for Linux, Windows and Mac OS X based on GNOME / GTK+

• irc-client
• gnome
• twitter-client
• xmpp-client

This is a node.js application that "hacks" your Amazon Dash Button to order you a Domino's pizza!

Xcode 8 Source Code Extension will generate conformance to Swift Equatable protocol based on type and fields selection.

• xcode
• extension
• swift-equatable
• xcode-plugin

Automatically exported from code.google.com/p/berkeleyparser

Run locally-installed node module executables.

• javascript
• nodejs
• npm
• npm-scripts

TranslatedComfyUI Chinese costume gallery node: includes 1407 sets of original costume images and thumbnails, supports search, categories, and a Qwen Image 2.1 pose-based outfit-swapping workflow

ChatGPT Python Applications integrated with third party libraries and modules

• chatgpt
• chatgpt-api
• machine-learning
• python

TranslatedView, write, and forget Grok Bot's memories on Mac and Windows.

PROMETHEVS: run the full DeepSeek-V4.1-Flash-1017 (510 GB) on a gaming PC with 64 GB RAM and a 12 GB GPU. PROMETHEVS engine (compress-then-correct), OpenAI-compatible local server, report and logs.

• deepseek
• llm
• local-inference
• mixture-of-experts

Creates gcode for use on drawbots

Implementation of the paper -> https://arxiv.org/abs/1709.00155. For converting information present in the form of structured data into natural language text

LÖVE asset manager