8000 psychon (Uli Schlachter) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View psychon's full-sized avatar
133 followers · 9 following
  • In front of his laptop

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx4Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx4Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Organizations

@znc @awesomeWM @CvO-Theory

Block or report psychon

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

Stars

Showing results

kyren / piccolo

An experimental stackless Lua VM implemented in pure Rust

Rust 1,916 74 Updated Apr 28, 2025

swaywm / wlroots-rs

Attempt at safe Rust bindings for wlroots

Rust 166 22 Updated May 20, 2020

swaywm / wlroots

A modular Wayland compositor library

C 2,176 341 Updated Feb 16, 2022

sosy-lab / java-smt

JavaSMT - Unified Java API for SMT solvers.

Java 224 52 Updated May 13, 2025

zzattack / mucalc

A model checker for formulae in the modal mu-calculus on LTS's stored in Aldebaran format, using C5A2 a naive approach or the Emerson-Lei algorithm

C# 2 Updated Jun 4, 2013

way-cooler / way-cooler

Wayland compositor for AwesomeWM

C 2,135 75 Updated Dec 19, 2019

mesonbuild / meson

The Meson Build System

Python 6,011 1,737 Updated May 15, 2025

Airblader / xcb-util-xrm

XCB utility functions for the X resource manager

C 59 21 Updated Jul 24, 2023

rahra / cairo_jpg

Reading and writing JPEG files from/to Cairo surfaces.

C 35 7 Updated Feb 4, 2025

CvO-Theory / apt

APT – Analysis of Petri nets and labelled transition systems

Java 19 9 Updated Jan 24, 2024

psychon / lgi

Forked from lgi-devs/lgi

Dynamic Lua binding to GObject libraries using GObject-Introspection

Lua 2 Updated Sep 4, 2021

lgi-devs / lgi

Dynamic Lua binding to GObject libraries using GObject-Introspection

Lua 452 72 Updated Dec 27, 2024

psychon / notify-tail

C 3 Updated Dec 22, 2012

jimloco / Csocket

Asynchronous TCP socket classes

C++ 20 21 Updated Feb 5, 2024

psychon / lualock

Forked from Guff/lualock

A screenlocker that's highly configurable in lua

C 6 Updated Jul 30, 2011

Guff / lualock

A screenlocker that's highly configurable in lua

C 11 3 Updated Jan 16, 2012

dodo / uzful

useful awesome library

Lua 17 5 Updated Nov 10, 2017

esmil / lem-dbus

DBus module for the Lua Event Machine

C 7 3 Updated Sep 15, 2013

DarthGandalf / znc

Forked from znc/znc

My ZNC stuff

C++ 9 2 Updated May 4, 2025

psychon / znc

Forked from znc/znc

Yeah, it's ZNC, isn't it?

C++ 1 1 Updated May 2, 2025

gustavosbarreto / compmgr

My experiment with X Composite Manager

C++ 11 1 Updated Oct 22, 2010

jakeprobst / uzblstuff

tab manager, event manager, and cookie handler for uzbl

C++ 13 Updated Jun 25, 2011

znc / znc

Official repository for the ZNC IRC bouncer

C++ 2,047 380 Updated May 12, 2025

brimworks / lua-ev

Lua integration with libev.

C 226 56 Updated Mar 17, 2022
0