🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-10-05 14:57:50 +03:00
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-10-05 14:57:50 +03:00
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Updated 2024-10-05 12:58:45 +03:00
Sword (formerly Ares): a new Nock runtime
Updated 2024-10-05 01:17:06 +03:00
A cross-platform GUI library for Rust, inspired by Elm
Updated 2024-10-04 18:33:38 +03:00
A cross-platform, OpenGL terminal emulator.
Updated 2024-10-03 01:10:42 +03:00
A safe, extensible ORM and Query Builder for Rust
Updated 2024-10-02 10:36:39 +03:00
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
Updated 2024-10-01 04:06:43 +03:00
Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)
Updated 2024-09-29 17:12:54 +03:00
Yet another cross-platform graphical process/system monitor.
Updated 2024-09-28 07:46:21 +03:00