#
😃
To keep learning
Committer and PMC Member of @apache Druid, Chinese book translator of 'Java Coding Problems'
-
Shopee
- Singapore
-
19:58
(UTC +08:00) - https://yuzhouwan.com/
Highlights
Block or Report
Block or report asdf2014
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage: Isabelle
All languages
ANTLR
AppleScript
Assembly
C
C#
C++
CSS
Clojure
CoffeeScript
Erlang
Go
HCL
HTML
Handlebars
Haskell
Isabelle
Java
JavaScript
Jinja
Jupyter Notebook
Kotlin
Less
Lua
MATLAB
MDX
Makefile
Markdown
Mustache
PHP
PLpgSQL
Python
R
Rich Text Format
Ruby
Rust
Scala
Shell
Smarty
Stylus
Swift
TLA
TeX
TypeScript
Vue
Nothing to show
Sort by: Most stars
Starred repositories
1
star
written in Isabelle
Clear filter
Formal models of core Elasticsearch algorithms