HKalbasi's repositories
rust-analyzer-wasm
Try to add runt-analyzer to playground
avr-hal
embedded-hal abstractions for AVR microcontrollers
blog_os
Writing an OS in Rust
cargo-generate
cargo, make me a project
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
fa.reactjs.org
(Work in progress) React documentation website in Persian
home
Canonical definitions of home_dir, CARGO_HOME, and RUSTUP_HOME
icu4x
Solving i18n for client-side and resource-constrained environments.
lingua-franca
Mycroft's multilingual text parsing and formatting library
lsif-rust-action
A GitHub Action to upload LSIF data to Sourcegraph for precise code intelligence
lsp-types
Types for communicating with a language server
mdbook-ra
A rust analyzer plugin for mdbook
monaco-editor
A browser based code editor
mycroft-core
Mycroft Core, the Mycroft Artificial Intelligence platform.
prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
react-monaco-editor
Monaco Editor for React.
rust-arduino-generator
Bootstrap arduino projects in rust
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
rust-url
URL parser for Rust
rustfmt
Format Rust code
serde-wasm-bindgen
Native integration of Serde with wasm-bindgen
session-5-6
مستندات آزمایش پنجم و ششم درس آزمایشگاه سیستم عامل
vscode-icons
Icons for Visual Studio Code
wasm-bindgen
Facilitating high-level interactions between Wasm modules and JavaScript
wasm-pack-template
a template for starting a rust-wasm project to be used with wasm-pack
webogram
Telegram web application, GPL v3