🌸 A command-line fuzzy finder
Updated 2024-07-02 03:20:10 +03:00
gpt4all: an ecosystem of open-source chatbots trained on a massive collections of clean assistant data including code, stories and dialogue
Updated 2024-07-02 03:03:00 +03:00
not really known
Updated 2024-07-02 02:52:53 +03:00
Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
Updated 2024-07-02 02:21:15 +03:00
Manage KDE Plasma with Home Manager
Updated 2024-07-02 02:18:50 +03:00
Manage KDE Plasma with Home Manager
Updated 2024-07-02 02:18:50 +03:00
A youtube-dl fork with additional features and fixes
Updated 2024-07-02 02:01:05 +03:00
A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️
Updated 2024-07-02 01:51:50 +03:00
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-07-02 01:45:00 +03:00
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-07-02 01:45:00 +03:00
Fast, disk space efficient package manager -- 快速的,节省磁盘空间的包管理工具
Updated 2024-07-02 01:37:19 +03:00
Health checks for your Nix flakes
Updated 2024-07-02 01:32:25 +03:00
Vector and raster maps with GL styles. Server side rendering by MapLibre GL Native. Map tile server for MapLibre GL JS, Android, iOS, Leaflet, OpenLayers, GIS via WMTS, etc.
Updated 2024-07-02 01:32:13 +03:00
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱!
Updated 2024-07-02 01:23:27 +03:00
📦 :octocat: GitHub Action for creating GitHub Releases
Updated 2024-07-02 01:18:34 +03:00
️ Tipi is a homeserver for everyone! One command setup, one click installs for your favorites self-hosted apps.
Updated 2024-07-02 01:07:08 +03:00
Tipi is a homeserver for everyone! One command setup, one click installs for your favorites self-hosted apps.
Updated 2024-07-02 01:07:08 +03:00
An incremental parsing system for programming tools
Updated 2024-07-02 00:58:24 +03:00
A massively parallel, high-level programming language
Updated 2024-07-02 00:39:39 +03:00