rolfmorel

rolfmorel's Stars

• tldr-pages/tldr

  📚 Collaborative cheatsheets for console commands

  Language:Markdown51.4k3741.4k4.2k

• qmk/qmk_firmware

  Open-source keyboard firmware for Atmel AVR and Arm USB families

  Language:C18.3k2373.2k39.5k

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX11k243163594

• gokcehan/lf

  Terminal file manager

  Language:Go7.8k661.1k331

• athensresearch/athens

  Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21

  Language:Clojure6.3k102782398

• bulletmark/libinput-gestures

  Actions gestures on your touchpad using libinput

  Language:Python3.9k64317241

• baskerville/plato

  Document reader

  Language:Rust1.3k28295109

• Schneegans/Fly-Pie

  :pie: Fly-Pie is an innovative marking menu written as a GNOME Shell extension.

  Language:JavaScript1.2k1014126

• vrtbl/passerine

  A small extensible programming language designed for concise expression with little code.

  Language:Rust1.1k254038

• yausername/dvd

  Download videos from anywhere

  Language:Kotlin870268044

• yuce/pyswip

  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

  Language:Python480339798

• ncarlier/feedpushr

  A simple feed aggregator daemon with sugar on top.

  Language:Go34774626

• hmaarrfk/Validity91

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

  Language:Python235861116

• pythological/kanren

  An extensible, lightweight relational/logic programming DSL written in pure Python

  Language:Python18383818

• grantjenks/python-pattern-matching

  Python pattern matching like functional languages.

  Language:Python162111312

• KoffeinFlummi/htop-vim

  htop is an interactive text-mode process viewer for Linux. It aims to be a better 'top'. This fork adds vim-style keybindings. (htop-dev/htop should be considered upstream now)

  Language:C1564414

• tych0/xcffib

  A drop-in replacement for xpyb based on cffi

  Language:Python9477926

• mcastorina/mpv-remote-app

  Android app to control mpv running on another computer

  Language:Java8685214

• sebdumancic/pylo2

  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.

  Language:Python851377

• ndesh26/evdev-rs

  Rust bindings for libevdev

  Language:Rust6834428

• jfeser/L2

  λ² is a tool for synthesizing functional programs from input-output examples.

  Language:OCaml67767

• alpha-asp/Alpha

  A lazy-grounding Answer-Set Programming system

  Language:Java58714710

• stefandtw/feedranger

  A file-based RSS/Atom reader that uses Ranger as a UI

  Language:Python23331

• nicoabie/quickcheck

  Randomized testing for Prolog à la QuickCheck

  Language:Prolog22381

• mistupv/SWIPrologZ3

  A simple Prolog API for the Z3 constraint solver

  Language:C141002

• paul-nameless/pyfswatch

  Python binding to libfswatch

  Language:Python12369

• jfrankle/refinements-popl-16

  Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.

  Language:F#8305

• carmanaught/mpvcontextmenu

  Context Menu for mpv

  Language:Lua7112

• NICHOLAS85/gebaar-libinput

  Gebaar, A Super Simple WM Independent Touchpad Gesture Daemon for libinput

  Language:C++7454

• zevweiss/xdpb

  Put pointer barriers at the edges of each screen for multi-headed X setups

  Language:C4000