🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-11-22 00:29:00 +03:00
A safe, extensible ORM and Query Builder for Rust
Updated 2024-11-21 13:33:33 +03:00
Sword (formerly Ares): a new Nock runtime
Updated 2024-11-21 07:52:18 +03:00
A cross-platform, OpenGL terminal emulator.
Updated 2024-11-21 03:36:25 +03:00
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-11-20 23:19:43 +03:00
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
Updated 2024-11-19 20:14:32 +03:00
Yet another cross-platform graphical process/system monitor.
Updated 2024-11-18 05:28:20 +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-11-17 17:38:30 +03:00
A cross-platform GUI library for Rust, inspired by Elm
Updated 2024-11-13 20:20:20 +03:00
Unicode Normalization forms according to UAX#15 rules
Updated 2024-11-13 19:55:49 +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