monperrus

crawler-user-agents

Syntactic patterns of HTTP user-agents used by bots / robots / crawlers / scrapers / spiders. pull-request welcome :star:

bibtexbrowser

Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)

misc

awesome-plotters

A curated list of code and resources for computer-controlled drawing machines and other visual art robots.

openaiisrich

openai is rich -- pricing information of openai as JSON

program-repair-course

A cool course about automated program repair

proof-of-reserves-1

Codes and Audits Proof of Gate.io holding full reserves of Users' assets

abc

ZM~~ # PRinty# C with ABC!

automatic-diff-dissection

bgood-user-study

biblatex

biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports UTF-8

blockchains-auditing

👾 𝘀𝗮𝘃𝗶𝗻𝗴 𝘁𝗵𝗲 𝗳𝘂𝘁𝘂𝗿𝗲 𝗼𝗳 $ 𝗳𝗼𝗿 𝗳𝘂𝗻 𝗼𝗿 $

cerberus

Program repair platform that provides interface to multiple state-of-the-art program repair tools

chatgpt-cli

Simple yet effective command line client for chatting with ChatGPT using the official API

checkmarx-github-action

Checkmarx Scan Github Action

deltachat-core-rust

Delta Chat Rust Core library, used by Android/iOS/desktop apps and bindings

EVeilM

idraw2linux

Plotting on the idraw v2 A3 under the Linux CLI

lanturn

PrgEq

Repo for program equivalence generation and analysis scripts

proof-of-reserves

proof-of-reserves-liabilities

PropertyGPT

pyproject-bump-pypi

A GitHub Action to bump pyproject.toml version numbers during deployment on PyPi

rss2email

Forward RSS feeds to your email address, community maintained

sc-defi-security

sparkleshare

data in sparkleshare

svg2gcode

Convert vector graphics to g-code for pen plotters, laser engravers, and other CNC machines

urlwatch

urlwatch monitors webpages for you

zenodo-upload

upload big files to Zenodo using cURL, jq and bash