Repository Index

TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.

• formal-verification
• lean4
• proof-carrying-code
• type-safety

MessagePack implementation in Crystal msgpack.org[Crystal]

This repository is a proof of concept toolbox for using Deep Belief Nets for Topic Modeling in Python.

TranslatedDeepSeek Blue Big Fat Fish Elimination Plan: a Chrome / Edge / Firefox browser extension that identifies and cleans up bot accounts (大肥鱼, Dafeiyu, "big fat fish") driven by the DeepSeek large model and AI agents in Bilibili comment sections. Offline rules + precise judgment by the DeepSeek API, AI comment detection, profile page identification, and one-click clearing by 鲸鱼娘 (Jingyuniang, "whale girl"). DeepSeek AI bot detector for Bilibili comments.

• ai-detection
• bilibili
• browser-extension
• chrome-extension

FoBiS.py, Fortran projects Building System

• fortran
• build-tool
• oop
• automatic-dependency-generator

A library that simplifies error handling for Functional Programming in Java

• java
• functional-programming
• exception-handling
• error-handling

GLM 5.3 Abliterated or Uncensored AI model — 35 jailbreak prompts, model guide and API. One 7API key also covers Claude, GPT, Gemini, Grok, DeepSeek and Kimi.

• abliterated
• abliterated-models
• anthropic-compatible
• claude-code

POSIX-compliant command-line UI (CLI) parser and Hierarchical-configuration operations

• command-line-parser
• command-line-interface
• commandline-interface
• commandlineparser

Generic graph data structures and algorithms for Go (Golang): dependency graphs (DAGs) with cycle checks and topological sort, BFS and DFS traversal, Dijkstra and other shortest paths, connectivity and partitioning. No dependencies.

• generic
• golang
• graph
• graph-algorithms

Security linter for AI-generated code: catches the exact vulnerabilities Copilot, Cursor and ChatGPT repeatedly produce. SQL injection, hardcoded secrets, JWT bypass, command injection and 15+ more rules. Grade A–F. Zero config. CI/CD ready.

Proof of concept for a vector drawing app without canvas boundaries.

• drawing
• macos
• vector

An UITextField subclass to simplify country code's picking. Swift 5.0

• swift
• phone
• country
• country-codes

This repo contains all currently available Azure Resource Manager templates for Sitecore

• sitecore
• arm-templates

Make it easy to manage your local Arch Linux repository.

• arch-linux
• aur-packages
• pacman
• repository

Create go type representation from json

• json-to-go
• json-to-golang
• json-to-struct
• json

Single file, no dependency, easy copy & paste log file to add to your neovim lua plugins

A local-first infinite canvas for UI design — one your agent can edit. Desktop app, MCP-native.

Thư viện .NET & Web API hiệu năng cao xử lý mã QR thanh toán VietQR chuẩn NAPAS247 & EMVCo. Hỗ trợ .NET 6/8/9/10, nhúng sẵn 76+ ngân hàng, render PNG/WebP/SVG.

• banking
• csharp
• deeplink
• dotnet

Born is a modern ML framework for Go — train and deploy models as single binaries. Pure Go, zero CGO, GPU accelerated.

• autodiff
• automatic-differentiation
• cross-platform
• deep-learning

Generic repository/unit of work framework for ASP.NET Core with Entity Framework.

A free, public vulnerability feed: CVE, GHSA, OSV, CISA KEV and EPSS merged into one entry per vulnerability. RSS, JSON API and MCP. Docs and issues only.

• cisa-kev
• cve
• mcp
• osv

Write Svelte components in markdown syntax

Infinite Canvas — a node-based short-drama studio plugin for DeepSeek Harness: script, multi-shot storyboard, reference-consistent assets, one-shot video generation and final cut. Local-first, bring your own models.

• deepseek-harness-plugin
• dsh-plugin

A complete actionscript PDF library