poytr1 Goto Github PK
Type: User
Location: Cyber World
Type: User
Location: Cyber World
BNF Converter
Compile OCaml to Coq.
A maintained ctags implementation
A many-languages server built on top of ctags
A collection of papers and Java implementation for diff algorithms
Java language server
es ingest plugin to parse code snippets to AST infos
a small game made with javafx
A tool for creating a local blockchain for fast Ethereum development.
Call trace decoder for Geth https://www.npmjs.com/package/@artossystems/geth-trace-decoder
Gradle plugin to generate a manifest file consumed by https://github.com/elastic/java-langserver
Using java to analyze the vocabulary used in the complete text
Extension of https://github.com/eclipse/eclipse.jdt.ls
:bar_chart: Kibana analytics and search dashboard for Elasticsearch
a tiny compiler using to transfer latex-style mathFormula into HTML page
My FoPL course project.
Enable macOS HiDPI and have a native setting.
Placement driver for TiKV
Compilers Principles homework
Writing 1000 Words a Day Changed My Life
Static type checker for Python
A simple SMT(Satisfiability modulo theories) solver written in Python
RFCs for changes to Rust
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.