A friendly functional language for finding counterexamples 🎯

Look up App Clips for a website URL

CSS library based on Counter Strike 1.6 UI.

file upload and use

A library for producing HIG-compliant user interfaces for the Macintosh with Aqua styling

Anti-Fascist Fediverse sticker!

A command line tools for executing single swift file as a script that support 3rd party swift packages.

Minimal, responsive Jekyll theme for hackers

Extends Build Scans by adding custom values with the artifacts size of Android projects

Surface-Stable Fractal Dithering

Swift text buffer abstraction to perform TextKit-like mutations and cursor movement.

Transactor is an injectable type making DB transactions seamless.

Fully open reproduction of DeepSeek-R1

trying to make some hardware

UniPrompt provides a unified interface to prompt optimization. We have distilled common functions from different algorithms and provide a plug-n-play API to create new algorithms. It also provides …

multiple cursors in neovim

A type-safe and friendly ECS for Haskell

💀 The former home of Homebrew/homebrew (deprecated)

✨ Looking for a theme that fits your vibe? Whether you're into dark mode, light mode, or something in between, this NekoNight has got you covered. Written in Lua for snappy performance, it's a buff…

"Transpiler" from the Schwalbe Programming Language to Swift

🗣️ Microsoft Edge TTS for Home Assistant, no need for app_key

🍒 Cherry Studio is a desktop client that supports for multiple LLM providers. Support deepseek-r1

Resources of our paper "FilmAgent: A Multi-Agent Framework for End-to-End Film Automation in Virtual 3D Spaces". New versions in the making!

🔎 Static code analysis engine to find security issues in code.

Use LLMs in Excel formulas

🚀✨ Learn how to make code contributions to open source projects

HTTP Mock Sever

A chrome extension that autofills job applications, built with Vue.