(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
Sorting:
- A template for starting an OrbTk project☆30Jan 19, 2022Updated 4 years ago
- A library to obtain clipboard access from a `raw-window-handle`.☆25Dec 12, 2025Updated 2 months ago
- Type Checking in Lean 4☆34Updated this week
- Supporting code for instrumentation courses at Universidade Nova de Lisboa - Faculdade de Ciência de Lisboa☆16Oct 7, 2022Updated 3 years ago
- A lightweight library to read/write wave audio files to/from lists of native Python types.☆12Jun 10, 2024Updated last year
- ☆36Dec 7, 2022Updated 3 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/website☆24Updated this week
- Mirror of Apache Apex site☆10Apr 29, 2025Updated 10 months ago
- ☆11Oct 31, 2021Updated 4 years ago
- DHCP4 library written in Rust☆40Nov 19, 2022Updated 3 years ago
- Fix things on the Razer Stealth (late 2017) with an Intel i7-8550U CPU☆10Jan 5, 2018Updated 8 years ago
- Sodiumoxide's libsodium-sys crate, but that installs stable versions of libsodium.☆45Jan 18, 2026Updated last month
- a generative engine☆16Mar 1, 2026Updated last week
- Functional heterogeneous list (hlist) library for Rust☆11Jun 28, 2020Updated 5 years ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- ☆12Jun 30, 2022Updated 3 years ago
- Clustering algorithms (Mean shift and K-Means) from scratch in NumPy, PyTorch, TensorFlow, and JAX☆11Oct 3, 2022Updated 3 years ago
- ☆11Jun 16, 2018Updated 7 years ago
- Your friendly neighbourhood image resizing API. Resize or aspect, you're cropping with me.☆11Apr 29, 2021Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- NEAT算法玩Flappy Bird(像素鸟)☆16Jan 18, 2024Updated 2 years ago
- Framework for simpler Spark Pipelines☆11Feb 27, 2026Updated last week
- Lightweight embedded key-value store/database Rust library☆11Oct 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
- An innovation project for Philippine Normal University's Faculty of Arts and Languages that stores faculty profiles and schedules faculty…☆13Aug 7, 2018Updated 7 years ago
- 🇨🇳翻译: 「rust-ffi-omnibus」 将 Rust 代码 导出, 应用于 其他语言 的例子集合 ❤️更新 ✅☆12May 16, 2019Updated 6 years ago
- Rust Roguelike: Introductory Tutorial Example of Rust and Unit Testing☆13Oct 16, 2019Updated 6 years ago
- Trying to make sense of the Age-Diagrams published by the Swiss Federal Office of Health FOPH (Bundesamt für Gesundheit BAG)☆10Jan 5, 2022Updated 4 years ago
- This is a custom library for data processing, visualization and machine learning tools.☆14Dec 28, 2025Updated 2 months ago
- A tool to format in a very opinionated way HTML, XML and text containing XML snippets.☆11Mar 1, 2026Updated last week
- A Deno toolkit for generating deployment configuration files based on Typescript☆11Jan 5, 2022Updated 4 years ago
- Metamath logic game☆10Apr 16, 2025Updated 10 months ago
- 📚 school 21 (42) libft project☆17Aug 30, 2020Updated 5 years ago
- A planet game we're working on.☆11Feb 24, 2025Updated last year
- 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
- The NATS C client library ported to the zig build system☆14Mar 14, 2025Updated 11 months ago
- Library for managing persistent user settings in the Bevy engine.☆14Nov 30, 2024Updated last year
- A starter kit for data-driven applications and content framework for web projects☆10Jan 10, 2023Updated 3 years ago
- GXC-CMS Application Template☆30Jun 21, 2012Updated 13 years ago