Makes it possible to really use concatenated idents in Rust.
☆25Apr 23, 2024Updated last year
Alternatives and similar repositories for concat-idents
Users that are interested in concat-idents are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [Deprecated] Stable alternative to Rust's type_name intrinsic.☆15Nov 26, 2019Updated 6 years ago
- RGB20 Contract Demo based on RGB v0.11.0-beta.9☆20Jan 7, 2025Updated last year
- raw maxwell models and maxwell fan website☆11Mar 26, 2025Updated last year
- Basic Unicode support for Lean 4☆16Updated this week
- My own collection of small mods for Geode☆13Feb 26, 2026Updated last month
- 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.
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 11 months ago
- render a class of curved 4D shapes☆11Mar 27, 2025Updated last year
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 3 months ago
- reactivity system with dirty checking☆10Nov 9, 2020Updated 5 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- import chat records from your im and store into single sqlite database☆10Nov 4, 2024Updated last year
- Parser of the app! macro used by the Real-Time Interrupt-driven Concurrency (RTIC) framework☆16Sep 13, 2023Updated 2 years ago
- under development: community SVD file, peripheral access crate in embedded Rust for WinnerMicro W800, W801 & W806 chip☆50May 12, 2022Updated 3 years ago
- A cosmic, polyphonic, additive FM synthesizer.☆20Apr 6, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Library to help you build php extensions using Rust☆21Oct 31, 2021Updated 4 years ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- Board Support Package for the WEMOS/LOLIN D1 mini☆22Sep 29, 2021Updated 4 years ago
- Emacs integration between fuz and ivy.☆12Dec 22, 2019Updated 6 years ago
- tikv-importer is a front-end to help ingesting large number of KV pairs into a TiKV cluster☆20Mar 20, 2023Updated 3 years ago
- algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics☆28Aug 21, 2025Updated 7 months ago
- Pythonic argument parser, with type description☆12Aug 22, 2020Updated 5 years ago
- #[derive(Future, Stream, Sink, AsyncRead, AsyncWrite, AsyncSeek, AsyncBufRead)] for enums.☆18Updated this week
- ☆34Sep 7, 2022Updated 3 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 proof of concept automatic differentiation library for Rust☆24Feb 28, 2018Updated 8 years ago
- Core abstractions of the Real-Time Interrupt-driven Concurrency (RTIC) framework☆22Jul 9, 2023Updated 2 years ago
- svd2rust generated interface to e310x peripherals☆30Mar 2, 2026Updated 3 weeks ago
- .NET Core tool modifying Roslyn compiler to access internals/privates. In other words, you can access to any internals/privates in other …☆14Nov 19, 2020Updated 5 years ago
- Animated polyhedra and compounds with Javascript & Three.js☆21Jan 8, 2024Updated 2 years ago
- A map and set type based on a binary search tree (BST)☆12Feb 26, 2021Updated 5 years ago
- Install Cask for Github Actions workflow☆14Apr 12, 2024Updated last year
- TextMesh Pro の設定をルール化して管理できる機能☆12May 1, 2019Updated 6 years ago
- Knox is a vigilant supervisor and management tool that ensures LLM teams rigorously develop reliable AI Agent programming extensions for …☆37Updated this week
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Visualizes the Riemannian manifolds Solv/Sol, Nil, SL(2,R), H^3 and E^3 in real time using ray marching along geodesics.☆18Dec 5, 2019Updated 6 years ago
- Mesh eXchange library.☆23Apr 16, 2025Updated 11 months ago
- Let Chinese font's alignment be compatible with English font in Emacs☆13May 7, 2020Updated 5 years ago
- GObject introspection for QT☆11Sep 21, 2020Updated 5 years ago
- ☆13Jun 8, 2017Updated 8 years ago
- NATS unique identifiers☆20Mar 1, 2026Updated 3 weeks ago
- Reading DWARF information from wasm files.☆19Jul 27, 2018Updated 7 years ago