SOnion

@SnowOnion · User

GitHub profile ↗ · Compare

A.K.A. sonion.li

@Kong170 followers82 repositories

Repositories

SnowOnion/pluralitybook__plurality

Root repository for ⿻數位 Plurality: The Future of Collaborative Technology and Democracy by E. Glen Weyl, Audrey Tang and the Plurality Community

★ 0Forks 0

SnowOnion/gg

🔥gg is a basic library of generics for Go language developed by ByteDance. It is based on the Go 1.18+ generic features and provides efficient, type-safe and rich generic data structures and tool functions.

★ 0GoForks 0

SnowOnion/automataprojectexam

Automatically exported from code.google.com/p/automataprojectexam 这个项目是清华大学 MSE09级 自动机与形式逻辑课程的大作业项目,收录各组的大作业

★ 0HTMLForks 0

SnowOnion/yi-bai_ids

Yet another IDS (Ideographic Description Sequences) lists with MIT license

★ 1Forks 0

SnowOnion/translate

AI i18n, Two lines of js realize automatic html translation. No need to change the page, no language configuration file, no API key, SEO friendly!

★ 0JavaScriptForks 0

SnowOnion/category-theory-seminar-notes-cnu-2018

首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, LaTeX docs and PDF docs inside.

★ 19TeXForks 1

SnowOnion/apollo

Apollo is a reliable configuration management system suitable for microservice configuration management scenarios.

★ 0JavaForks 0

SnowOnion/Proof-Theory-Notes-zh_CN

我上了俞珺华老师 2017 年春季的证明论课,记了些笔记,慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu, THU. Parts of contents are my own supplement. The mistakes, if any, very likely belong to me.

★ 11TeXForks 1

SnowOnion/godoogle

Godoogle is a Go API search engine, which allows you to search by approximate function type signature, including generics. “Hoogle for Godoc”. / 通过函数签名(输入输出类型)模糊搜索 Go API;支持泛型。

★ 7GoForks 2

SnowOnion/lo

💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)

★ 0Forks 0

SnowOnion/ATPPFHS

Automated Theorem Prover for Propositional logic by Forward proof search in Hilbert-style axiomatic System implemented in HaSkell. Inefficient by fate. Just wanna visualize the craziness of deriving theorems in Hilbert-style axiomatic System.

★ 4HaskellForks 0

SnowOnion/Goraph

Game of Go on arbitrary planar graph / 任意「可平面图」上的围棋游戏。

★ 4JavaScriptForks 1

SnowOnion/graph

A library for creating generic graph data structures and modifying, analyzing, and visualizing them.

★ 0Forks 0

SnowOnion/bullet

My note-taking system powered by Sphinx

★ 0reStructuredTextForks 0

SnowOnion/mlsp-statistics

游戏解说、视频制作者「满楼水平」(A.K.A. 撒神、撒萌萌)的 DotA 1 视频数据,以及在其上做的统计汗挖掘

★ 1HTMLForks 0