Panda's repositories
go
jsoniter (json-iterator) is fast and flexible JSON parser available in Java and Go
syncthing
Open Source Continuous File Synchronization
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
MLAlgorithms
Minimal and clean examples of machine learning algorithms
z3
The Z3 Theorem Prover
Mu
It's a Swift playground explaining how to create a tiny programming language named Mu
resources
Resources for Go-based data science.
CNTK
Microsoft Cognition Toolkit (CNTK)
elisp-guide
A quick guide to Emacs Lisp programming
ttyd
Share your terminal over the web
jaspy
a Python VM written entirely from scratch in JavaScript with some unique features
iris
The fastest web framework for Go in (THIS) Earth.
go-linq
.NET LINQ-like query methods for Go
binary-go
Embedding binary data in a Go program
free-programming-books
:books: Freely available programming books
rust-plus-golang
Rust + Go
Learning-SICP
《计算机程序的构造和解释》公开课中文化项目。
IntroToDataScience
GitHub Repository to accompany my YouTube series of videos on Introductory Data Science using R.
ChezScheme
Chez Scheme
qlang
Q Language (Q语言) - A script language for Go
elm-architecture-tutorial
How to create modular Elm code that scales nicely with your app
glisp
LISP dialect implemented in Go