rolfmorel

rolfmorel's Stars

• Developer-Y/cs-video-courses

  List of Computer Science courses with video lectures.

  67.3k1.9k1439.1k

• prakhar1989/awesome-courses

  :books: List of awesome university courses for learning Computer Science!

  57.6k2.3k788.2k

• be5invis/Iosevka

  Versatile typeface for code, from code.

  Language:JavaScript19.3k1941.9k578

• browsh-org/browsh

  A fully-modern text-based browser, rendering to TTY and browsers

  Language:JavaScript17.1k182412418

• redox-os/redox

  Mirror of https://gitlab.redox-os.org/redox-os/redox

  Language:Shell15.2k6030925

• swaywm/sway

  i3-compatible Wayland compositor

  Language:C14.7k2164.7k1.1k

• rust-lang/rust-clippy

  A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

  Language:Rust11.5k876.9k1.5k

• xournalpp/xournalpp

  Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.

  Language:C++11.3k1023.5k806

• qutebrowser/qutebrowser

  A keyboard-driven, vim-like browser based on Python and Qt.

  Language:Python9.7k1645.6k1k

• coursera-dl/coursera-dl

  Script for downloading Coursera.org videos and naming them.

  Language:Python9.4k3246472.2k

• tridactyl/tridactyl

  A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.

  Language:TypeScript5.3k622.2k404

• bulletmark/libinput-gestures

  Actions gestures on your touchpad using libinput

  Language:Python3.9k64318241

• gluon-lang/gluon

  A static, type inferred and embeddable language written in Rust.

  Language:Rust3.2k59402146

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k812.8k261

• adereth/dactyl-keyboard

  Parameterized ergonomic keyboard

  Language:OpenSCAD2.9k14859847

• withoutboats/notty

  A new kind of terminal

  Language:Rust2.3k733541

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.2k909119

• jameysharp/corrode

  C to Rust translator

  Language:Haskell2.2k68124116

• ueokande/vim-vixen

  Accelerates your web browsing with Vim power!!

  Language:TypeScript2.1k41560137

• sagemath/sage-archive-2023-02-01

  This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github.com/sagemath/sage, we have renamed and archived this repository.

  Language:Python2k12736411

• PistonDevelopers/dyon

  A rusty dynamically typed scripting language

  Language:Rust1.8k6326655

• standardebooks/tools

  The Standard Ebooks toolset for producing our ebook files.

  Language:Python1.4k38243127

• rikvdkleij/intellij-haskell

  IntelliJ plugin for Haskell

  Language:Scala1.3k2057194

• Smithay/wayland-rs

  Rust implementation of the wayland protocol (client and server).

  Language:Rust1.1k20248123

• baoboa/pyqt5

  PyQt5 from riverbank

  Language:C++1.1k8053584

• hoyon/mpv-mpris

  MPRIS plugin for mpv

  Language:C612106336

• osdlyrics/osdlyrics

  Standalone lyrics fetcher/displayer (windowed and OSD mode).

  Language:C350258154

• hmaarrfk/Validity91

  Reverse engineering the Validity 138a:0091 fingerprint sensor (Dell XPS 15/13 2016-2017 9X50 and 9X60)

  Language:Python235861116

• cpjreynolds/rustty

  A terminal UI library

  Language:Rust15272314

• themoken/canto-curses

  Curses frontend for Canto daemon

  Language:Python927547