maggicl

maggicl's Stars

• ligurio/practical-fm

  A gently curated list of companies using verification formal methods in industry

  50438

• samuelkarp/purple-docker

  purple-docker: A libpurple protocol plugin for your Docker containers

  Language:Go444

• esseks/monicelli

  An esoteric programming language, come se fosse antani.

  Language:C++1.3k53

• nbrevu/rockstar-java

  Java interpreter of the Rockstar language. VERY outdated. Done in a single evening.

  Language:Java235

• TeamNewPipe/NewPipe

  A libre lightweight streaming front-end for Android.

  Language:Java31.8k3.1k

• robicch/jQueryGantt

  jQuery Gantt editor

  Language:JavaScript2.2k931

• zyedidia/micro

  A modern and intuitive terminal-based text editor

  Language:Go25.3k1.2k

• Davide999/PacmanPi-Pi-

  Language:Java1

• tavianator/arch-rpi-cross

  Arch Linux cross-toolchain for Raspberry Pi

  Language:Shell527

• silverwind/armhf-registry

  Minimal Docker Registry image the ARM architecture

  Language:Makefile72

• gogs/gogs

  Gogs is a painless self-hosted Git service

  Language:Go45.1k4.9k

• alwsl/alwsl

  Install archlinux as the WSL (Windows Subsystem for Linux) host.

  Language:Batchfile1.3k65

• magnetikonline/linux-microsoft-ie-virtual-machines

  Run Internet Explorer 8/9/10/11/MS-Edge Virtual machines from Microsoft under Linux via VirtualBox.

  1k141

• keroserene/rickrollrc

  Rick Astley invades your terminal.

  Language:Shell1.4k157

• azavalla/mini-shell

  Featureless shell

  Language:C1