Pinned Repositories
android
antlr4-java-simple
bnfc
BNF Converter
coq-of-ocaml
Compile OCaml to Coq.
diff-algorithms
A collection of papers and Java implementation for diff algorithms
finalproject
a small game made with javafx
mathFormula-compiler
a tiny compiler using to transfer latex-style mathFormula into HTML page
minilan-interpreter
My FoPL course project.
pl0-Compiler
Compilers Principles homework
PySmtSolver
A simple SMT(Satisfiability modulo theories) solver written in Python
Poytr1's Repositories
Poytr1/minilan-interpreter
My FoPL course project.
Poytr1/pl0-Compiler
Compilers Principles homework
Poytr1/diff-algorithms
A collection of papers and Java implementation for diff algorithms
Poytr1/hw7
Using java to analyze the vocabulary used in the complete text
Poytr1/PySmtSolver
A simple SMT(Satisfiability modulo theories) solver written in Python
Poytr1/android
Poytr1/antlr4-java-simple
Poytr1/ctags
A maintained ctags implementation
Poytr1/ctags-langserver
A many-languages server built on top of ctags
Poytr1/eclipse-android-fido
Poytr1/eclipse.jdt.ls
Java language server
Poytr1/elasticsearch-ingest-code-parser
es ingest plugin to parse code snippets to AST infos
Poytr1/ganache
A tool for creating a local blockchain for fast Ethereum development.
Poytr1/geth-trace-decoder
Call trace decoder for Geth https://www.npmjs.com/package/@artossystems/geth-trace-decoder
Poytr1/gradle-code-manifest-plugin
Gradle plugin to generate a manifest file consumed by https://github.com/elastic/java-langserver
Poytr1/java-langserver
Extension of https://github.com/eclipse/eclipse.jdt.ls
Poytr1/kibana
:bar_chart: Kibana analytics and search dashboard for Elasticsearch
Poytr1/multi
Poytr1/one-key-hidpi
Enable macOS HiDPI and have a native setting.
Poytr1/pc-for-codespaces
Poytr1/pd
Placement driver for TiKV
Poytr1/Poytr1
Poytr1/Poytr1.github.io
Writing 1000 Words a Day Changed My Life
Poytr1/pyright
Static type checker for Python
Poytr1/rfcs
RFCs for changes to Rust
Poytr1/single
Poytr1/tikv
Distributed transactional key-value database, originally created to complement TiDB
Poytr1/tree-sitter-prototype
A simple prototype using tree-sitter to do name resolution on Java
Poytr1/Trill
Trill is a single-node query processor for temporal or streaming data.
Poytr1/TypeChain
🔌 TypeScript bindings for Ethereum smart contracts