Pinned Repositories
Architectural
Blender Study
Bats
面向OLTP、OLAP、批处理、流处理场景的大一统SQL引擎
BitcoinWhitePaper
CalculatorDisplay
coq
Coq2
Play Coq on new version
PipelineSimulator
PolishNotationCalculator
rust_os
Sniffer2
gf4t47's Repositories
gf4t47/Architectural
Blender Study
gf4t47/Bats
面向OLTP、OLAP、批处理、流处理场景的大一统SQL引擎
gf4t47/BitcoinWhitePaper
gf4t47/CalculatorDisplay
gf4t47/coq
gf4t47/Coq2
Play Coq on new version
gf4t47/DrunkenEye
gf4t47/fnMatch
JavaScript pattern matching without transpiring (just import!)
gf4t47/Functional.Maybe
Idiomatic option types for C#
gf4t47/FuzzyColorHIstogram
Fuzzy Color Histogram of image indexing
gf4t47/googauth
The Python Command-line Reimplementaion of Google Authenticator
gf4t47/haskoin
Proof-of-concept Blockchain in Haskell
gf4t47/PipelineSimulator
gf4t47/PolishNotationCalculator
gf4t47/rust_os
gf4t47/Sniffer2
gf4t47/interpreter_js
gf4t47/KidsStudy
gf4t47/mhtml2html
Converts MHTML files to a single HTML file using javascript
gf4t47/ML_Standford
Machine Learning
gf4t47/net-object-deep-copy
C# extension method for fast object cloning.
gf4t47/NEventStore.Persistence.SQL
SQL Persistence Engine for NEventStore
gf4t47/pystock-data
US stock market data since 2009
gf4t47/rollupprivatemethod
gf4t47/telsa
TLS 1.2 for aws iot client
gf4t47/text-watermark
在文本中添加不可见的文字水印
gf4t47/verdaccio-launcher-windows
A windows launcher running verdaccio npm registry locally in the background
gf4t47/yscheme
a compiler from a subset of Scheme into X64