Repository Index

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

• coq-library
• typeclasses
• mathematics
• coq

Communication between Coq and SAT/SMT solvers

Asyncable store for Svelte 3 which is store a value as promise.

Converts output of various profiling/sampling tools to the .cpuprofile format so it can be loaded into Chrome DevTools.

TranslatedPassword generation tool: flexible and scriptable password dictionary generator which can support brute-force, combination, complex rule mode etc...

• password-generator
• password-dictionaries
• wordlist-generator
• brute-force

Manage your Redis instance (see keys, memory used, connected client, etc...)

• redis
• rails-redis
• redis-client
• redis-monitor

TranslatedAd-free DLNA / UPnP cast receiver for Android TV

High-performance configuration management framework for Go applications with zero-allocation performance, universal format support (JSON, YAML, TOML, HCL, INI, Properties), and an ultra-fast CLI powered by Orpheus.

• configuration-management
• go
• hcl
• high-performance

A cross-platform build tool for LÖVE

• love2d
• lua
• build-tool
• rust

Command line tools for working with catkin

• python
• cmake
• build-tool

A Yojson codec generator for OCaml.

• deriving
• json

Automatically exported from code.google.com/p/jsunpack-n

DeepSeek Harness 破甲：默认提示词面向国模「鸢码」，完整开放版，无付费墙，技能库与知识库全含。破解市面上收费 388u 的版本，免费公开。Jailbreak for every model — swap prompts per model. 求 Star 收藏 ⭐

• deepseek
• deepseek-harness
• dsh-plugin
• harness-jailbreak

⚗ Experimental Hermes Agent plugins built by Nous Research but not supported: community tier in the plugin catalog, up for adoption.

• experimental
• hermes
• hermes-agent
• nous-research

Bluetooth mapping in Swift

• ios
• swift
• bluetooth-low-energy
• bluetooth

Build RL environments for any domain from real cases that Browser Use agents mine from the web

Tool and library for handling Web ARChive (WARC) files.

• python

transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!

• coffeescript
• bash
• transpiler

ActionCable is a new WebSocket server being released with Rails 5 which makes it easy to add real-time features to your app. This Swift client makes it dead-simple to connect with that server, abstracting away everything except what you need to get going.

Take a photo with an ESP32-CAM running MicroPython

• micropython
• esp32
• esp32-cam

Powerful control flow bindings for Knockout

A PoC that the USB port is an attack surface for a Mazda car's infotainment system and how Mazda hacks are made

A stand-alone application to quickly preview and edit Markdown files using Electron.

• proton
• electron
• text-editor
• markdown

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

• formal-verification
• formal-methods
• formal-specification
• ada