he1pa Goto Github PK
Name: He1pa
Type: User
Company: Ant Group
Bio: Compiler, IDE, Web3, Smart Contract, AI, Formal Verification
Location: Hangzhou, China
Blog: [email protected]
Name: He1pa
Type: User
Company: Ant Group
Bio: Compiler, IDE, Web3, Smart Contract, AI, Formal Verification
Location: Hangzhou, China
Blog: [email protected]
Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research
🎹 自由钢琴 AutoPiano - Simple & Elegant Piano Online
Boogie Rust binding
Kubernetes community content
Formal Verification of Kalman Filter Based on Coq
A CNN (Convolutional Neural Network) model to automatically classify images of building construction that show deficient work, with cracking as the focus.
Project that aims to detect cracks on building facades using Deep Learning
Validate and define text-based and dynamic configuration
Design documents of kclvm and related tools.
Set of icons representing programming languages, designing & development tools
Dragonfly is an open source P2P-based file distribution and image acceleration system. It is hosted by the Cloud Native Computing Foundation (CNCF) as an Incubating Level Project.
Generic Configuration Language (A reusable configuration language for Python)
Getting started with Docker
PX4 Hardware designs
blog
程序员在家做饭方法指南。Programmer's guide about how to cook at home (Chinese only).
IntelliJ IDEA KCL Extension
Java学习笔记
kcl gpt training data
KCL Kubernetes Abstraction Code Repo
Source of the KCL Website
Models of KCL(Kusion Config language)
KCL Playground
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.