He1pa
Program Language, Compiler, IDE/LSP, Web3, Smart Contract, AI, Formal Verification
Ant GroupHangzhou, China
Pinned Repositories
Smart-Intermediate-Representation
A brand-new multi-scenarios smart contract compiler framework
AI_All_In_One
AirSim
Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research
AutoPiano
🎹 自由钢琴 AutoPiano - Simple & Elegant Piano Online
Coq_Kalman_Filter
Formal Verification of Kalman Filter Based on Coq
He1pa.github.io
blog
rust
Empowering everyone to build reliable and efficient software.
rust-code-book-zh
:books: 《Rust 源码剖析》开源图书中文版 🇨🇳
Tiny-compiler-in-500-lines-of-Rust
kcl
KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io
He1pa's Repositories
He1pa/Tiny-compiler-in-500-lines-of-Rust
He1pa/AirSim
Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research
He1pa/AutoPiano
🎹 自由钢琴 AutoPiano - Simple & Elegant Piano Online
He1pa/booktest
He1pa/community
Kubernetes community content
He1pa/crack-detection
A CNN (Convolutional Neural Network) model to automatically classify images of building construction that show deficient work, with cracking as the focus.
He1pa/VampIR-Book-zh
一本可以作为 VampIR 说明和文档的电子书
He1pa/Crack_Detection
Project that aims to detect cracks on building facades using Deep Learning
He1pa/csr
He1pa/cue
Validate and define text-based and dynamic configuration
He1pa/DesignDocuments
Design documents of kclvm and related tools.
He1pa/devicon
Set of icons representing programming languages, designing & development tools
He1pa/dingtalk_test
He1pa/getting-started
Getting started with Docker
He1pa/HowToCook
程序员在家做饭方法指南。Programmer's guide about how to cook at home (Chinese only).
He1pa/Java
Java学习笔记
He1pa/kcl-gpt
kcl gpt training data
He1pa/KCL-LSP
He1pa/kcl-lsp-server
He1pa/KCL-Models
Models of KCL(Kusion Config language)
He1pa/kcl-tower
He1pa/kusion
⛓ A compile-to-cloud technology stack with tool chains and engine. ⎈ 🖥 ☁️
He1pa/kusionstack.io
Source for kusionstack.io site
He1pa/rust-code-book
books: Rust源码剖析
He1pa/Rust-test
He1pa/Tai-e-assignments
Tai-e assignments for static program analysis
He1pa/tensorRT_quantization
该代码与B站上的视频 https://www.bilibili.com/video/BV18L41197Uz/?spm_id_from=333.788&vd_source=eefa4b6e337f16d87d87c2c357db8ca7 相关联。
He1pa/test-cla
test-cla
He1pa/vscode-go
Go extension for Visual Studio Code
He1pa/YulParser