Dependently-typed row-polymorphic programming language, evolved from minitt-rs
-
Updated
Sep 21, 2020 - Rust
#
extensible
Here are 10 public repositories matching this topic...
Reusable and Extensible xtask commands to manage repositories.
-
Updated
Dec 2, 2024 - Rust
Logging for Rust
-
Updated
Mar 18, 2021 - Rust
A text editor for any system. Diesel is influenced by edit.com on MSDOS. Features easy, functional extensions.
-
Updated
Jun 7, 2020 - Rust
pan93412's extensible userbot for Telegram, which is full-documented, enginnered and based on Actor model.
-
Updated
Mar 6, 2022 - Rust
Extensible pattern matching in Rust
rust library matching pattern pattern-matching trait rust-lang case extensible macro rust-crate rust-patterns
-
Updated
Apr 8, 2021 - Rust
Just a Bashgenn interpreter.
-
Updated
Dec 23, 2024 - Rust
Core es un editor de texto ligero y extensible, diseñado para ofrecer una experiencia de edición eficiente en la terminal. Desarrollado en Rust, combina rendimiento y seguridad de memoria, permitiendo personalización a través de plugins y temas. Ideal para desarrolladores que buscan un entorno de edición centrado en el teclado.
-
Updated
Sep 30, 2024 - Rust
Improve this page
Add a description, image, and links to the extensible topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the extensible topic, visit your repo's landing page and select "manage topics."