Repository Index

Next generation Electron build tooling based on Vite 新一代 Electron 开发构建工具，支持源代码保护

• electron
• source-code-protection
• vite
• hmr

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

• java
• intellij
• json
• template-engine

Automatic Lazy Loading support for Blazor (Server and WebAssembly)

• blazor
• lazy
• loading
• dll

Install `wasm-pack` by downloading the executable

• wasm-pack
• wasm
• webassembly
• github-action

Install `Trunk` by downloading the executable

• trunk
• yew
• seed
• webassembly

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

• coq
• canonical-structures
• typeclasses
• ssreflect

Install `wasm-bindgen` by downloading the executable

• rust
• wasm-bindgen
• wasm
• yew