Get a GUI fast in any language under the sea!
☆48Jan 31, 2023Updated 3 years ago
Alternatives and similar repositories for myxine
Users that are interested in myxine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- Log call tree summaries after each request for rust programs instrumented with `tracing`.☆45Apr 26, 2026Updated last month
- A utility for catching non-deterministic test failures☆17Jul 23, 2024Updated last year
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 6 years ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆36May 4, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆38Oct 25, 2024Updated last year
- [Experimental]: SQL query builder favouring composition over compile time safety☆13Nov 12, 2020Updated 5 years ago
- Doctests for Emacs Lisp☆25Feb 3, 2024Updated 2 years ago
- An in-memory topological sort algorithm for trees based on Group Theory☆23Apr 11, 2021Updated 5 years ago
- A program logic for concurrent randomized programs☆14Nov 9, 2018Updated 7 years ago
- Exampwe of ewwonyenyonyuns code:☆15Sep 25, 2019Updated 6 years ago
- A text editor zipper libary☆21Nov 15, 2024Updated last year
- A library for conveniently displaying well-formatted, and good looking errors to users of CLI applications. Useful for bubbling up unreco…☆18May 15, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A browser interface for working through rustc errors and running cargo commands.☆16Jan 5, 2023Updated 3 years ago
- A simple error library for no_std + no_alloc Rust☆18Apr 7, 2020Updated 6 years ago
- Build terminal UIs using reflex and brick☆15Jun 27, 2019Updated 6 years ago
- Example Coq plugin☆18Mar 23, 2018Updated 8 years ago
- Scalable URL obfuscator service☆11Feb 14, 2023Updated 3 years ago
- Transactional cache with configurable persistence☆45Apr 2, 2023Updated 3 years ago
- Text-based interactive GHC .prof viewer☆49Jun 19, 2023Updated 2 years ago
- Simple monolithic kernel written in Rust for x86-64☆24Feb 28, 2025Updated last year
- Razor is a tool for constructing finite models for first-order theories☆57Dec 19, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Universal Executables☆14Aug 30, 2018Updated 7 years ago
- Easily cope with numeric literals in generic Rust code☆27Jul 6, 2021Updated 4 years ago
- OUT OF DATE! A fully buzzword-compliant experimental project: Electron, TypeScript, React, Redux, WebPack and Rust. It compiles and runs!☆16Jan 26, 2020Updated 6 years ago
- A sudoku game written in Rust☆31Nov 18, 2019Updated 6 years ago
- Tracing layer to quickly inspect spans and events☆40May 8, 2023Updated 3 years ago
- Structured diagnostics for Rust applications☆33Jun 8, 2024Updated last year
- postcard-rpc, over rtt, with probe-rs☆16Jan 19, 2025Updated last year
- A terminal UI for discourse☆14Jul 25, 2020Updated 5 years ago
- Spawn processes with arbitrary closures in rust☆115Sep 16, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🌳 a monadic FRP game library for haskell☆25Apr 7, 2020Updated 6 years ago
- An introductory Rust workshop that can be taught in a day☆12Apr 10, 2019Updated 7 years ago
- Tasty meal of Dhall☆67Aug 16, 2023Updated 2 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- https://crates.io/crates/embed-wasm☆11Aug 25, 2020Updated 5 years ago
- Nix written in rust (this will take some time if it will ever finish)☆23Nov 21, 2020Updated 5 years ago
- Tools for programming with ConstraintKinds in GHC☆76Jan 26, 2026Updated 4 months ago