coq2rust
yew
| coq2rust | yew | |
|---|---|---|
| 1 | 201 | |
| 216 | 29,948 | |
| - | 0.6% | |
| 10.0 | 8.3 | |
| over 9 years ago | 5 days ago | |
| OCaml | MDX | |
| GNU Lesser General Public License v3.0 only | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
coq2rust
-
What is a really cool thing you would want to write in Rust but don't have enough time, energy or bravery for?
I want to build something that be translated from coq to rust and vice versa, since rust has a macro system I can probably use it to convert the expressions in coq to rust and vice versa (something similar to this -> https://github.com/pirapira/coq2rust) but in the opposite direction.
yew
-
Surprisingly Powerful – Serverless WASM with Rust Article 1
Yew is a framework for creating reliable and efficient web applications. Yew
- Container2wasm: Convert Containers to WASM Blobs
-
Show HN: Game of Life with grid editor in browser with Rust and WASM
I coded up a game of life implementation in rust and web assembly using https://yew.rs/ as an effort to sharpen my rust skills and it resulted as a fun toy. You can find the source here: https://gitlab.com/reedrichards/wvdom Enjoy!
- The best WebAssembly runtime may be no runtime at all
-
Recreating the Apple Calculator in Rust using Tauri, Yew and Tailwind
UI template: Yew - (https://yew.rs/)
- Yew: Rust / WASM framework for creating reliable and efficient web applications
-
Ask HN: If you were to build a web app today what tech stack would you choose?
I'm surprised nobody said they'd use [Yew](https://yew.rs/), especially given the premise of this being for a passion project.
-
Semantics of method which takes Rc<Self> and returns Rc<Self>?
This example shows updating an existing state: https://github.com/yewstack/yew/blob/04909dd942eb64285652d96a2621bdf7be3fa912/examples/timer_functional/src/main.rs
-
Speeding up the JavaScript ecosystem – Polyfills gone rogue
1. Not related to npm, but related to the web.
2. True, but compilers are generally better than transpilers.
3. Have you seen https://yew.rs/ ?
-
Is it possible to create Android apps using Rust?
You could use Yew to write web apps, which can be opened on Android phones.
What are some alternatives?
LucidMQ - Simple Ops Event Streaming. Alternative to Kafka and RabbitMQ
Seed - A Rust framework for creating web apps
cranelift-jit-demo - JIT compiler and runtime for a toy language, using Cranelift
dioxus - Fullstack GUI library for web, desktop, mobile, and more.
fluvio - Lean and mean distributed stream processing system written in rust and web assembly.
sycamore - A library for creating reactive web apps in Rust and WebAssembly
supervisionary - The Supervisionary proof-checking kernel for higher-order logic
leptos - Build fast web applications with Rust.
coq-of-ocaml - Formal verification for OCaml
Rocket - A web framework for Rust.
Enzyme - High-performance automatic differentiation of LLVM and MLIR.
tauri - Build smaller, faster, and more secure desktop applications with a web frontend.