Poytr1's repositories
minilan-interpreter
My FoPL course project.
pl0-Compiler
Compilers Principles homework
diff-algorithms
A collection of papers and Java implementation for diff algorithms
PySmtSolver
A simple SMT(Satisfiability modulo theories) solver written in Python
ctags
A maintained ctags implementation
ctags-langserver
A many-languages server built on top of ctags
eclipse.jdt.ls
Java language server
elasticsearch-ingest-code-parser
es ingest plugin to parse code snippets to AST infos
ganache
A tool for creating a local blockchain for fast Ethereum development.
geth-trace-decoder
Call trace decoder for Geth https://www.npmjs.com/package/@artossystems/geth-trace-decoder
gradle-code-manifest-plugin
Gradle plugin to generate a manifest file consumed by https://github.com/elastic/java-langserver
java-langserver
Extension of https://github.com/eclipse/eclipse.jdt.ls
kibana
:bar_chart: Kibana analytics and search dashboard for Elasticsearch
one-key-hidpi
Enable macOS HiDPI and have a native setting.
Poytr1.github.io
Writing 1000 Words a Day Changed My Life
pyright
Static type checker for Python
rfcs
RFCs for changes to Rust
tree-sitter-prototype
A simple prototype using tree-sitter to do name resolution on Java
Trill
Trill is a single-node query processor for temporal or streaming data.
TypeChain
🔌 TypeScript bindings for Ethereum smart contracts