Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

25–48 of 209 · Most stars

Cross-platform multi-protocol VPN software. Pull requests are welcome. The stable version is available at https://github.com/SoftEtherVPN/SoftEtherVPN_Stable.

  • vpn-tunnel
  • vpn-protocols
  • softether-vpn
  • vpn

The Aurelia 1 framework entry point, bringing together all the required sub-modules of Aurelia.

  • aurelia-framework
  • javascript
  • typescript
  • single-page-applications

Unleash your creativity with Pixelorama, a powerful and accessible open-source pixel art multitool. Whether you want to create sprites, tiles, animations, or just express yourself in the language of pixel art, this software will realize your pixel-perfect dreams with a vast toolbox of features. Available on Windows, Linux, macOS and the Web!

A framework that allows developers to cobble together a better UI for their own WPF applications with minimal effort.

  • mahapps
  • metro
  • wpf
  • xaml

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

A clean, Markdown-based publishing platform made for writers. Write together and build a community.

  • writing
  • publishing
  • blogging
  • web-application

A simple, battle-tested and generic set type for the Go language. Trusted by GoogleCloudPlatform, Docker, 1Password, Ethereum and Hashicorp.

  • go
  • set
  • threadsafe
  • datastructures

TranslatedFree, open-source screen sharing for private live streams with friends. Watch together in a browser or self-host Piik. It supports game streaming, watching movies together, and self-hosting.