coq2rust
dioxus
coq2rust | dioxus | |
---|---|---|
1 | 155 | |
216 | 18,475 | |
- | 11.2% | |
10.0 | 9.9 | |
over 9 years ago | 5 days ago | |
OCaml | Rust | |
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.
dioxus
-
Dioxus 0.5: Web, Desktop, Mobile Apps in Rust
We have a web components example here: https://github.com/DioxusLabs/dioxus/blob/fd21c971038840130f...
Everything should work like normal except: attributes are not typed, custom event listeners must be implemented with web-sys
- Container2wasm: Convert Containers to WASM Blobs
-
Why Are Tech Reporters Sleeping on the Biggest App Store Story?
I think something like https://dioxuslabs.com could deliver native, cross platform apps and win back mobile.
-
Using Dioxus with Rust to build performant single-page apps
While we took an in-depth look at Dioxus in this tutorial, there is still so much to learn. Luckily, Dioxus provides detailed documentation with references and cookbooks to guide developers. Make sure you check it out, and feel free to comment below with any questions.
-
Package All the Things
You can probably imagine the challenges of integrating such a system in a robust way that does a good job and improves on the status quo. We felt like the Tauri implementation worked well for Tauri apps. But there’s a problem: it was so tightly coupled to Tauri that the work couldn’t be enjoyed by other projects (not even the ones like Dioxus who were using Tauri’s underlying technology of Tao + Wry).
- Show HN: Play Euchre with AI Bots
- Dioxus: Fullstack GUI library for desktop, web, mobile, and more
- Projects to contribute to?
- Ask HN: React Native or Flutter for a new app in 2023?
-
Announcing Floneum (A open source graph editor for local AI workflows written in rust)
Floneum is a graph editor for local AI workflows. It uses llm to run large language models locally, egui, and dioxus for the frontend, and wasmtime for the plugin system. If you are interested in the project, consider joining the discord, or building a plugin for Floneum in rust using WASI
What are some alternatives?
LucidMQ - Simple Ops Event Streaming. Alternative to Kafka and RabbitMQ
tauri - Build smaller, faster, and more secure desktop applications with a web frontend.
cranelift-jit-demo - JIT compiler and runtime for a toy language, using Cranelift
yew - Rust / Wasm framework for creating reliable and efficient web applications
fluvio - Lean and mean distributed stream processing system written in rust and web assembly.
leptos - Build fast web applications with Rust.
supervisionary - The Supervisionary proof-checking kernel for higher-order logic
sycamore - A library for creating reactive web apps in Rust and WebAssembly
coq-of-ocaml - Formal verification for OCaml
iced - A cross-platform GUI library for Rust, inspired by Elm
Enzyme - High-performance automatic differentiation of LLVM and MLIR.
Flutter - Flutter makes it easy and fast to build beautiful apps for mobile and beyond