Repository Index

Boost Logging library

Merge multiple streams into one interleaved stream

A formalization of geometry in Coq based on Tarski's axiom system

• formalization
• coq
• geometry
• tarski-axiom

A CLI that organize and manage your files using AI

Dnsruby is a feature-complete DNS(SEC) client for Ruby, as used by many of the world's largest DNS registries and the OpenDNSSEC project

This is an aspiring project aimed at accumulating knowledge from the world of cybersecurity and presenting it in a cogent way, so it is accessible to as large an audience as possible and so that everyone has a good resource to learn hacking from.

• cryptography
• hacking
• system
• cheatsheet

Charting library suitable for interactive F# scripting

DoctorGPT brings GPT into production for application log error diagnosing!

• application
• chatgpt
• diagnosis
• diagnostics

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

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

Spoke is an open source text-distribution tool for organizations to mobilize supporters and members into action

A selection of projects, organisations and useful tools for social-impact tech

• awesome-list
• awesome
• tech
• tech-for-good

Survey companion for Computational Character Modeling: role-playing methods, data foundations, and evaluation, organized by the manuscript.

• awesome-list
• large-language-models
• role-playing-agents
• survey

Fast and simple bulk insert (retain client populated Ids or return db generated Ids), bulk update, bulk delete, bulk merge and bulk match for SQL Server.

• efcore
• netcore
• bulkinsert
• bulkupdate

RGeo component for reading and writing GeoJSON

• rgeo
• geojson
• ruby

Happy helper for your terminal

This repository contains low-level bindings for WebGPU used in Evergine.

• webgpu
• netstandard
• dotnet-core
• csharp

DDD+CQRS+Event-sourcing examples using EventFlow following CQRS-ES architecture. It is configured with RabbitMQ, MongoDB(Snapshot store), PostgreSQL(Read store), EventStore(GES). It's targeted to .Net Core 2.2 and include docker compose file.

• eventflow
• cqrs
• cqrs-es-architecture
• ges

Evidence-grounded multi-agent fundamental research and fact-audit system for A-share listed companies.

Boost.GIL - Generic Image Library | Requires C++14 since Boost 1.80

• boost
• generic-image-library
• gil
• image-processing-library

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

Rolisteam is a virtual tabletop. It helps you to manage tabletop role playing games with remote friends/players. It provides many features to share maps, pictures, dice roller, manage background music and much more. The main git repository is available here: [https://invent.kde.org/kde/rolisteam].

• rpg
• jdr
• rpg-tool
• c-plus-plus

DeepSeek Harness 破甲增强版 (enhanced fork): TUN fake-ip dynamic pass-through (patch #38), persona prefix variants, Node 24 compat, idempotent anchors

MicroPython driver for WS2812 RGB LEDs (WS2812B, AdaFruit NeoPixels, ...).

BetterGI 安卓版本