boleynsu Goto Github PK

bfl

TKDE 2017/Reachability Querying: Can It Be Even Faster?

bsl-algorithmw

Algorithm W used in Hindley–Milner type system

bsl-backwardchaining

A Prolog like language using backward chaining algorithm

competitiveprogramming

My source code for solving competitive programming problems

f-netease2wp

A fork of https://code.google.com/archive/p/bus2wp/

gathering

A bookkeeping service for group gathering.

kernel

magic

monorepo

oj

Boleyn Su's Online Judge that powers https://oj.boleyn.su

oj-c99runner

Moved to https://boleyn.su/source/oj

oj-core

Moved to https://boleyn.su/source/oj

oj-judge

Moved to https://boleyn.su/source/oj

oj-server

Moved to https://boleyn.su/source/oj

pr-baidupcs

百度网盘命令行工具。The terminal utility for Baidu Network Disk.

pr-bazel

a fast, scalable, multi-language and extensible build system

pr-bazel-lib

Common useful functions for writing BUILD files and Starlark macros/rules

pr-bazel-skylib

Common useful functions and rules for Bazel

pr-bazel-toolchain

LLVM toolchain for bazel

pr-bazeldnf

Build multi-arch base containers based on RPM with bazel.

pr-breeze

Breeze is a numerical processing library for Scala.

pr-chisel

A fast TCP tunnel over HTTP

pr-containerd-packaging

Linux distro packaging for containerd

pr-crow

A Fast and Easy to use microframework for the web.

pr-gentoo

[MIRROR] Official Gentoo ebuild repository

pr-github-docs

The open-source repo for docs.github.com

pr-include-what-you-use

A tool for use with clang to analyze #includes in C and C++ source files

pr-itchat

A complete and graceful API for Wechat. 微信个人号接口、微信机器人及命令行微信，三十行即可自定义个人号机器人。

pr-jetpack

Increase your traffic, view your stats, speed up your site, and protect yourself from hackers with Jetpack.

pr-k3s

Lightweight Kubernetes