(WIP) The OrbTk book
☆16Sep 23, 2022Updated 3 years ago
Alternatives and similar repositories for orbtk-book
Users that are interested in orbtk-book are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A template for starting an OrbTk project☆30Jan 19, 2022Updated 4 years ago
- Code for my blog post about getting started with React and Rust/wasm☆21Jun 26, 2018Updated 7 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/bootloader-efi☆18Feb 7, 2024Updated 2 years ago
- A library to obtain clipboard access from a `raw-window-handle`.☆25Dec 12, 2025Updated 3 months ago
- Numeric Schemes for Conservation Laws☆13Apr 23, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Mirror of https://gitlab.redox-os.org/redox-os/init☆11Mar 6, 2025Updated last year
- This plugin provides native instrumentation for monitoring Consul, including: Consul server service and cluster health, and querying the …☆13Apr 28, 2021Updated 4 years ago
- A high-performance matcher designed to solve LOGICAL and TEXT VARIATIONS problems in word matching, implemented in Rust.☆17Updated this week
- A lightweight theme for zola☆39Jan 26, 2026Updated 2 months ago
- static podman build for gokrazy☆13Aug 8, 2024Updated last year
- minimal perfect hashing for rust☆13Aug 10, 2020Updated 5 years ago
- CHIP-8 interpreter written in Rust☆11May 23, 2020Updated 5 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/liner☆14Jul 29, 2024Updated last year
- Rust High Performance, published by Packt☆108Jan 30, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆46Jan 29, 2021Updated 5 years ago
- No-std NES emulator library and minimal emulator written purely in Rust.☆38Feb 20, 2021Updated 5 years ago
- WebRex is a tool for web resource aggregation and optimization in runtime. In comparison with other open source optimizers like wro4j, it…☆14Jun 19, 2018Updated 7 years ago
- L4Ka::IDL4 Compiler☆18Sep 1, 2015Updated 10 years ago
- A template for creating runty8 games that run natively, and in the browser.☆12Apr 20, 2023Updated 2 years ago
- A no_std mqtt encoder/decoder in pure Rust for use in embedded systems.☆14Jan 3, 2022Updated 4 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/orbterm☆18Oct 31, 2024Updated last year
- Doom 3 GPL source release☆15Nov 22, 2011Updated 14 years ago
- A small mocking library for Rust☆14Aug 26, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Chocolatey packages for JetBrains products.☆15Sep 22, 2017Updated 8 years ago
- Helper crate to create a Concourse resource in Rust☆12Mar 12, 2024Updated 2 years ago
- Utilizes task lists to create a timeline... or something like a timeline.☆18Dec 12, 2025Updated 3 months ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated last year
- A Rust library for controlling LXD☆18Feb 24, 2025Updated last year
- A Deno toolkit for generating deployment configuration files based on Typescript☆11Jan 5, 2022Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Very simpleified clone of Midnight Commander☆15Dec 5, 2025Updated 3 months ago
- directory music player☆10Aug 22, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Type Checking in Lean 4☆36Mar 22, 2026Updated last week
- ☆36Dec 7, 2022Updated 3 years ago
- 誰でも大好き☆10Jul 4, 2022Updated 3 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Application packager for Dwm☆14Mar 26, 2023Updated 3 years ago
- Python tool allowing easy book downloads from annas-archive.org.☆16Nov 28, 2025Updated 4 months ago
- A reverse proxy for tailscale that auto-configures with certificates from the local daemon.☆12Aug 21, 2023Updated 2 years ago