FRP implementation in Rust
☆83Jun 30, 2024Updated 2 years ago
Alternatives and similar repositories for sodium-rust
Users that are interested in sodium-rust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zero-cost functional reactive Signals for Rust☆783Apr 7, 2026Updated 3 months ago
- Migrated to https://codeberg.org/milia/carboxyl☆418Jan 28, 2025Updated last year
- Streams and broadcasts: functional reactive programming in Rust.☆39Nov 12, 2018Updated 7 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- Data structures for describing changes to other data structures.☆17Jan 19, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Zero-cost ultra-high-performance declarative DOM library using FRP signals for Rust!☆1,129Apr 7, 2026Updated 3 months ago
- Functional Reactive Programming library for Rust☆52Jun 10, 2020Updated 6 years ago
- ☆13Aug 2, 2022Updated 3 years ago
- A workshop showing how to build a basic app using OrbitDB☆25Jul 26, 2022Updated 4 years ago
- A crate to provide anonymous row type, which fields can be access by lens-rs☆16May 27, 2021Updated 5 years ago
- Zero-cost & Type-safe Reactive Extensions for Rust. Supports both high-performance single-threaded (Local) and thread-safe (Shared) conte…☆1,102Jul 13, 2026Updated 2 weeks ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 8 years ago
- Slides and exercises for an STM "course" series☆30Jun 10, 2020Updated 6 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- this repo demonstrates calling purescript from javascript through the output.☆11Jul 23, 2017Updated 9 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- Generic RDF-based engine for building collaboration and open publishing web sites☆17Mar 10, 2021Updated 5 years ago
- An awesome list of gpt-3 experiments + outputted newsletter.☆17Aug 9, 2020Updated 5 years ago
- SOP level volumetric path tracer.☆13Mar 25, 2020Updated 6 years ago
- Phyllotaxis implemented with ReasonML☆12Oct 1, 2018Updated 7 years ago
- A math library specialized for 2d screen graphics.☆14Feb 28, 2025Updated last year
- Failsafe is a lightweight rust library for handling failures☆16Jan 30, 2023Updated 3 years ago
- Presentation on using React Spectacle via Pux & PureScript☆12Oct 29, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Render LaTeX math to SVG mages☆18Mar 25, 2024Updated 2 years ago
- ☆13Feb 11, 2021Updated 5 years ago
- Block median value perceptual hash RFC for URN namespace☆28Dec 15, 2019Updated 6 years ago
- Tool for semantic querying of Rust code.☆13Jan 19, 2020Updated 6 years ago
- Rust str macro to bring the convenience of vec to the String type☆13Oct 16, 2025Updated 9 months ago
- A LISP interpreter written in ReasonML, targeting native and browser environments☆17Sep 17, 2018Updated 7 years ago
- Framework agnostic hyperscript☆35May 28, 2017Updated 9 years ago
- The Reactive Extensions for the Rust Programming Language☆497Jan 30, 2015Updated 11 years ago
- Learn pure math with agda☆16Oct 18, 2025Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.☆12May 11, 2026Updated 2 months ago
- Practice typing In your favorite programming language☆12Apr 27, 2014Updated 12 years ago
- Incremental lambda calculus☆80Jun 5, 2019Updated 7 years ago
- A consumer + rpc interface for asynchronous task execution☆15Updated this week
- Type-safe open unions in Haskell☆32Apr 20, 2018Updated 8 years ago
- ☆10Dec 28, 2015Updated 10 years ago
- Hunt for and Exploit the libSSH Authentication Bypass (CVE-2018-10933)☆10Oct 18, 2018Updated 7 years ago