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/He1pa.github.io
blog
He1pa/AI_All_In_One
He1pa/Boogie-rs
Boogie Rust binding
He1pa/Coq_Kalman_Filter
Formal Verification of Kalman Filter Based on Coq
He1pa/neural_network_learn
He1pa/rust
Empowering everyone to build reliable and efficient software.
He1pa/rust-code-book-zh
:books: 《Rust 源码剖析》开源图书中文版 🇨🇳
He1pa/VampIR-Book-zh
一本可以作为 VampIR 说明和文档的电子书
He1pa/devicon
Set of icons representing programming languages, designing & development tools
He1pa/Dragonfly2
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.
He1pa/intellij-kcl
IntelliJ IDEA KCL Extension
He1pa/intellij-kcl-lsp
He1pa/intellij_plugin_publish_test
He1pa/kcl-konfig
KCL Kubernetes Abstraction Code Repo
He1pa/kcl-lang.io
Source of the KCL Website
He1pa/kcl-playground
KCL Playground
He1pa/kcl.nvim
NeoVim KCL Extension
He1pa/KCLVM
A constraint-based record & functional language mainly used in configuration and policy scenarios.
He1pa/kickstart.nvim
A launch point for your personal nvim configuration
He1pa/konfig-github
He1pa/kpm
KCL Package Manager
He1pa/lib
KCL Native, WASM Library, Multiple Language Bindings and SDKs
He1pa/moon-core
MoonBit's Core library
He1pa/ocaml-programming
He1pa/rustfmt
Format Rust code
He1pa/Smart-Intermediate-Representation
A brand-new multi-scenarios smart contract compiler framework
He1pa/sudoku
He1pa/vsce_publish_test
test for auto publish vscode extension
He1pa/vscode-kcl
He1pa/YulParser