All Repositories

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

PHP's time range API

Jest support for mock argument-matched return values.

Release pull request generator

An extension of the PyMARL codebase that includes additional algorithms and environment support

Simple starter webpack 5 project template supporting SASS/PostCSS, Babel ES7, browser syncing, code linting. Easy project setup having multiple features and developer friendly tools.

高度模块化, 遵循 KISS原则的区块链开发框架

WhatsApp Chatbot using Gemini + WasenderAPI

AGI 社交网络 Bot. BiliBili | 直播聊天数字人 | 视频@自动回复 | 私信bot | 终端聊天 | 语音交互

Сustom color schemes for all websites

use angr to deobfuscation

JDBC from Clojure (formerly clojure.contrib.sql)

MySQL Client API written entirely in Go

🚀 Quickly open urls on your terminal screen!

基于思源黑体，并以中国大陆字形为标准的对中日韩越统一表意文字扩展区进行字形补充的项目。

Declarative Python server-side rendering utility for FastAPI with built-in HTMX support.

Android screen filter app for night time phone use.

HTML output formats for RMarkdown documents

A Chrome extension that “steals” a button from every website you open.

A simple javascript tetris game

The best PTT library

Synology VideoStation and DLNA FFmpeg Wrapper with AAC, DTS, EAC3 and TrueHD support via pipes (now with GStreamer support). It enables full hardware transcoding from Synology´s FFmpeg for video and transcoding DTS, EAC3, TrueHD and AAC from the SynoCommunity's FFmpeg only when necessary.

A Scala library for scraping content from HTML pages

:earth_africa: lightweight C++17 ply 3d mesh format importer & exporter

Website for graphing performance of rustc

A trait to dynamically add methods to a class

An open-source PyTorch code for crowd counting

GTK 4 tutorial for beginners

Facilitating Open Science