Skip to content
View DanielMGessel's full-sized avatar
🎯
Focusing
🎯
Focusing
0 followers · 5 following

Block or report DanielMGessel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

Showing results

WebAssembly / binaryen

Optimizer and compiler/toolchain library for WebAssembly

WebAssembly 7,690 758 Updated Feb 27, 2025

emscripten-core / emscripten

Emscripten: An LLVM-to-WebAssembly Compiler

C++ 26,222 3,359 Updated Feb 27, 2025

avigad / LeanSudoku

Playing Sudoku in the Lean 4 proof assistant

Lean 6 1 Updated Oct 25, 2024

shirok / Gauche

Scheme Scripting Engine

Scheme 835 83 Updated Feb 26, 2025

leanprover-community / logic_and_proof

TeX 8 2 Updated Feb 17, 2025

riscv / riscv-isa-manual

RISC-V Instruction Set Manual

TeX 3,900 677 Updated Feb 24, 2025

tomba / kmsxx

KMS++: C++17 library, utilities and python bindings for Linux kernel mode setting

C++ 48 37 Updated Feb 12, 2025

vprover / vampire

The Vampire Theorem Prover

C++ 326 53 Updated Feb 26, 2025

TwoFX / sudoku

A sudoku game where you have to prove that your deductions are valid

Lean 114 8 Updated Aug 31, 2022

Towdo / py-videocore7

Forked from Idein/py-videocore6

Python library for GPGPU programming on Raspberry Pi 5

Python 5 1 Updated Feb 25, 2024

swaywm / sway

i3-compatible Wayland compositor

C 15,044 1,126 Updated Feb 25, 2025

dokutan / rgb_keyboard

Controls the RGB lighting on some keyboards (GMMK and others).

C++ 237 25 Updated Feb 8, 2024

mozilla / zilla-slab

Mozilla's Zilla Slab Type Family

Shell 430 27 Updated Jun 6, 2023

mmp / pbrt-v4

Source code to pbrt, the ray tracer described in the forthcoming 4th edition of the "Physically Based Rendering: From Theory to Implementation" book.

C++ 3,018 491 Updated Jan 30, 2025

thblt / sway.el

Emacs ❤️ Sway

Emacs Lisp 62 2 Updated Dec 19, 2023

krh / vkcube

Spinning Vulkan Cube

C 129 46 Updated Jul 23, 2024

libratbag / libratbag

A DBus daemon to configure input devices, mainly high-end and gaming mice

C 2,183 264 Updated Oct 28, 2024

thayama / wayland-kms

wl_kms for KMS BO

C 12 7 Updated Jan 20, 2023

emersion / hello-wayland

A hello world Wayland client (mirror)

C 145 33 Updated Mar 4, 2024

torvalds / linux

Linux kernel source tree

C 188,601 55,286 Updated Feb 27, 2025

cormullion / juliamono

repository for JuliaMono, a monospaced font with reasonable Unicode support.

CSS 1,460 29 Updated Jan 9, 2025

keyleds / keyleds

Logitech Keyboard animation for Linux — G410, G513, G610, G810, G910, GPro

C++ 189 31 Updated Aug 6, 2022

MatMoul / g810-led

Linux led controller for Logitech G213, G410, G413, G512, G513, G610, G810, g815, G910 and GPRO Keyboards

C++ 1,396 187 Updated Aug 24, 2023