MaboroshiChan's repositories
hamler-vscode
Hamler syntax extension for VSCode
Pandemic_Chart
Coronavirus pandemic chart extension for Google chrome
bilibili-user
🍥 Bilibili 用户爬虫
Language:Python000
ClickHouse
ClickHouse is a free analytics DBMS for big data
Apache-2.0000
clickhouse-driver
ClickHouse Python Driver with native interface support
NOASSERTION000
Language:C++000
Language:Python000
Crazyflie
AADL models for the Crazyflie UAV -- OMSCS Class CS7639
000
Language:HaskellBSD-3-Clause000
hsoxlib
Haskell bindings to LibSoX, an audio file-format and effect library
GPL-3.0000
paxos
Plain Paxos Implementations in Python & Java
MIT000
Scala-JSON-Parser-
A JSON parser written in Scala.
Language:C++000
sParser
Parser Combinator implemented in Scala
Language:Scala000
tc
Reference type checker for the Lean theorem prover
GPL-3.0000
Language:Python000
tutorial-code
Source code & exercises in Arend's documentation
Language:Python000