MaboroshiChan

MaboroshiChan

Geek Repo

Company:EMQX

Github PK Tool:Github PK Tool

MaboroshiChan's repositories

hamler-vscode

Hamler syntax extension for VSCode

License:Apache-2.0Stargazers:1Issues:1Issues:0

Pandemic_Chart

Coronavirus pandemic chart extension for Google chrome

Language:JavaScriptStargazers:1Issues:2Issues:0
Language:PythonStargazers:0Issues:0Issues:1

bilibili-user

🍥 Bilibili 用户爬虫

Language:PythonStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:1Issues:0

ClickHouse

ClickHouse is a free analytics DBMS for big data

License:Apache-2.0Stargazers:0Issues:0Issues:0

clickhouse-driver

ClickHouse Python Driver with native interface support

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

Crazyflie

AADL models for the Crazyflie UAV -- OMSCS Class CS7639

Stargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

hsoxlib

Haskell bindings to LibSoX, an audio file-format and effect library

License:GPL-3.0Stargazers:0Issues:0Issues:0

paxos

Plain Paxos Implementations in Python & Java

License:MITStargazers:0Issues:0Issues:0

Scala-JSON-Parser-

A JSON parser written in Scala.

Language:ScalaStargazers:0Issues:2Issues:0
Language:C++Stargazers:0Issues:0Issues:0

sParser

Parser Combinator implemented in Scala

Language:ScalaStargazers:0Issues:0Issues:0

tc

Reference type checker for the Lean theorem prover

License:GPL-3.0Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

tutorial-code

Source code & exercises in Arend's documentation

License:Apache-2.0Stargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0