Sign in

Repository Index

78,850 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

433–456 of 710 · Most stars

Distrod is a meta-distro for WSL 2 which installs Ubuntu, Arch, Debian, Gentoo, etc. with systemd in a minute for you. Distrod also has built-in auto-start feature on Windows startup and port forwarding ability.

  • wsl
  • wsl2
  • wsl-environment
  • wsl-installation

The diary of Tom Riddle for the reMarkable Paper Pro — write with your pen, the page drinks your ink and answers in a flowing hand

  • remarkable-customization
  • eink
  • remarkable-paper-pro
  • appload

一款体积小, 快速, 稳定, 高效, 轻量的内网穿透, 端口转发工具 支持多连接,级联代理,传输加密 (A small volume, fast, stable, efficient, and lightweight intranet penetration, port forwarding tool supports multiple connections, cascading proxy, and transmission encryption)

  • forward
  • proxy
  • rust
  • async

Scientific calculator with math syntax that supports user-defined variables and functions, complex numbers, and estimation of derivatives and integrals

  • calculator
  • rust-crate
  • math
  • rust

Cairo is the first Turing-complete language for creating provable programs for general computation.

  • starknet
  • zero-knowledge-proofs
  • zkp
  • computational-integrity

AI-native workspace for local shells and remote machines in Rust+GPUI. Combines split-pane SSH, SFTP, remote file editing, and MCP tools with the semantic coloring and free-type input ergonomics familiar from WindTerm. Zero WebView, zero OpenSSL, zero telemetry, and no app subscription.

  • filemanager
  • rust
  • sftp
  • ssh-client