Dependently-typed row-polymorphic programming language, evolved from minitt-rs
-
Updated
Sep 21, 2020 - Rust
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
Logging for Rust
pan93412's extensible userbot for Telegram, which is full-documented, enginnered and based on Actor model.
A text editor for any system. Diesel is influenced by edit.com on MSDOS. Features easy, functional extensions.
Extensible pattern matching in Rust
Just a Bashgenn interpreter.
Add a description, image, and links to the extensible topic page so that developers can more easily learn about it.
To associate your repository with the extensible topic, visit your repo's landing page and select "manage topics."