coq-of-ocaml
dioxus
Our great sponsors
coq-of-ocaml | dioxus | |
---|---|---|
1 | 155 | |
236 | 18,068 | |
1.3% | 11.7% | |
4.8 | 9.9 | |
3 months ago | 2 days ago | |
OCaml | Rust | |
MIT License | 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.
coq-of-ocaml
-
What is a really cool thing you would want to write in Rust but don't have enough time, energy or bravery for?
Coq of OCaml is a good example of how I want it to be for rust
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?
kani - Kani Rust Verifier
tauri - Build smaller, faster, and more secure desktop applications with a web frontend.
supervisionary - The Supervisionary proof-checking kernel for higher-order logic
yew - Rust / Wasm framework for creating reliable and efficient web applications
coq2rust - Coq to Rust program extraction. The whole tree is on the original Coq code base.
leptos - Build fast web applications with Rust.
jax - Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
sycamore - A library for creating reactive web apps in Rust and WebAssembly
wasmer - 🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten
iced - A cross-platform GUI library for Rust, inspired by Elm
sqlc - Generate type-safe code from SQL
Flutter - Flutter makes it easy and fast to build beautiful apps for mobile and beyond