rolfmorel

rolfmorel's Stars

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust33.9k1894.6k2.5k

• xonsh/xonsh

  :shell: Python-powered shell. Full-featured and cross-platform.

  Language:Python8.4k1042.6k641

• ahrm/sioyek

  Sioyek is a PDF viewer with a focus on textbooks and research papers

  Language:C7.2k40945236

• lark-parser/lark

  Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

  Language:Python4.9k57917417

• MrOtherGuy/firefox-csshacks

  Collection of userstyles affecting the browser

  Language:CSS3.4k56391326

• fsquillace/junest

  The lightweight Arch Linux based distro that runs, without root privileges, on top of any other Linux distro.

  Language:Shell2.1k39261110

• joouha/euporie

  Jupyter notebooks in the terminal

  Language:Python1.8k911242

• rabite0/hunter

  The fastest file manager in the galaxy!

  Language:Rust1.3k199964

• Bycelium/PyFlow

  An open-source tool for visual and modular block programming in python

  Language:Python1.3k2218454

• cberner/fuser

  Filesystem in Userspace (FUSE) for Rust

  Language:Rust84119128115

• j2kun/mlir-tutorial

  MLIR For Beginners tutorial

  Language:C++824181770

• riquito/tuc

  When cut doesn't cut it

  Language:Rust81471718

• davidbrochart/nbterm

  Jupyter Notebooks in the terminal.

  Language:Python756165437

• FedeDP/Clight

  A C daemon that turns your webcam into a light sensor. It will adjust screen backlight based on ambient brightness.

  Language:C732924627

• waycrate/swhkd

  Sxhkd clone for Wayland (works on TTY and X11 too)

  Language:Rust7071111948

• junkdog/tachyonfx

  shader-like effects library for ratatui applications

  Language:Rust673428

• rntz/datafun

  Research on integrating datalog & lambda calculus via monotonicity types

  Language:TeX38743215

• dertuxmalwieder/rssfs

  The RSS file system (Git mirror)

  Language:Go125631

• wingo/wasm-jit

  Test materials for getting JIT support for wizer

  Language:C++106727

• avigad/lamr

  Logic and Mechanized Reasoning

  Language:Lean879521

• Seirdy/term-dmenu

  Replace dmenu with a floating terminal and FZF! Comes with helper scripts for program/app launching, window switching, etc.

  Language:Shell49431

• gburca/rofs-filtered

  A filtered read-only filesystem for FUSE

  Language:C4551911

• ibizaman/pcachefs

  FUSE filesystem that presents a mirror of other filesystems, with transparent caching.

  Language:Python43849

• intel/graph-compiler

  MLIR-based toolkit targeting intel heterogeneous hardware

  Language:C++321715515

• itspriddle/k6-qmk

  My custom QMK firmware for Keychron K6

  Language:C264026

• plaidml/mlir-generator

  Generator for MLIR files from known front-ends

  Language:MLIR15914

• pasis/ls-fuse

  FUSE module to mount `ls -lR` output

  Language:C13332

• potassco/clingoLP

  Theory propagator for linear programming using clingo theory language and interface.

  Language:Python10963

• samkaufman/morello

  Language:Rust7322

• kidsil/no-notify-on-mute

  A browser extension to block notifications when a tab is muted.

  Language:JavaScript4220