An experimental approach to UI in Rust with a focus on ergonomics, efficiency, and simplicity
☆12Feb 21, 2025Updated last year
Alternatives and similar repositories for ravel
Users that are interested in ravel are comparing it to the libraries listed below
Sorting:
- Antialiased 2D vector drawing library written in rust☆14Mar 19, 2021Updated 4 years ago
- Open records for Haskell☆22Oct 6, 2017Updated 8 years ago
- Retained mode GUI with focus on reactivity and composability☆28Oct 31, 2025Updated 4 months ago
- ☆33Oct 28, 2024Updated last year
- ☆17Feb 9, 2026Updated last month
- ☆11Sep 25, 2022Updated 3 years ago
- Linux From Scratch, but it's Nix☆37Jul 23, 2021Updated 4 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Reads various system-level accessibility and UI preferences 🐋☆26Nov 25, 2025Updated 3 months ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- Version-specific nix project specifications☆12Nov 12, 2019Updated 6 years ago
- Tesla API for Haskell☆15Dec 15, 2025Updated 2 months ago
- Haskell: Simple heterogeneous lists☆10Feb 7, 2022Updated 4 years ago
- A .Net MVC 3 Site with jQuery Mobile included for easy mobile site creation.☆19Jul 16, 2011Updated 14 years ago
- My nixos configuration☆13Updated this week
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- ☆10Feb 3, 2016Updated 10 years ago
- Haskell raw bindings to Oracle ODPI-C Library☆19Aug 14, 2022Updated 3 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Rust widget toolkit built on Reclutch☆11Mar 25, 2020Updated 5 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- Rebel Robotics Scouting App for FRC 2024: CRESCENDO!☆13Apr 1, 2024Updated last year
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- React tutorial app implemented in ClojureScript☆10Jan 6, 2023Updated 3 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- PostgreSQL SQL syntax utilities☆16Feb 12, 2026Updated 3 weeks ago
- Fast Haskell tagsoup parser☆17Oct 13, 2020Updated 5 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Python bindings for coreir☆11Sep 13, 2023Updated 2 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Parser for ELF object format.☆11Dec 24, 2021Updated 4 years ago
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Mar 12, 2016Updated 9 years ago