skmdx

skmdx's Stars

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust57.2k4515.9k3k

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.6k111906478

• leandromoreira/linux-network-performance-parameters

  Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺

  5.5k1826511

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k60596195

• adolfintel/OpenPods

  The Free and Open Source app for monitoring your AirPods on Android

  Language:Java1k24123171

• InBetweenNames/gentooLTO

  A Gentoo Portage configuration for building with -O3, Graphite, and LTO optimizations

  Language:Shell5704556496

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda3742115668

• cedille/cedille

  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

  Language:Agda3692411927

• NetworkConfiguration/dhcpcd

  DHCP / IPv4LL / IPv6RA / DHCPv6 client.

  Language:C35424266113

• RPi-Distro/firmware-nonfree

  1883639105

• sweirich/tal

  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

  Language:Haskell14311113

• delphiki/AirStatus

  Check AirPods battery levels on Linux

  Language:Python13551623

• HenriWahl/dhcpy6d

  MAC address aware DHCPv6 server written in Python

  Language:Python9884027

• delphiki/gnome-airpods-battery-status

  A Gnome Shell Extension to display the battery levels of your Airpods (and case) in the top bar.

  Language:JavaScript4641310

• 4nykey/4nykey

  An experimental gentoo portage overlay

  Language:Shell3127513

• slp/apodsmon

  A Linux CLI utility for checking the AirPods battery level

  Language:C22530

• sakaki-/emtee

  A faster-startup @world updater for Gentoo Linux

  Language:Shell14318

• nmvdw/HITs-Examples

  Examples of Higher Inductive Types

  Language:Coq7300