Popular repositories Loading

1. libtouch libtouch Public

   Touch Gesture Library, created under the guidance of the Sway project.

   C 13 3

2. .emacs.d .emacs.d Public

   Emacs config

   Emacs Lisp

3. nano-symex nano-symex Public

   Forked from pruemmer/nano-symex

   A tiny symbolic execution engine

   Scala

4. minizinc-mode minizinc-mode Public

   Forked from m00nlight/minizinc-mode

   Emacs mode for editing MiniZinc model file

   Emacs Lisp

5. Waybar Waybar Public

   Forked from Alexays/Waybar

   Highly customizable Wayland bar for Sway and Wlroots based compositors. ✌️ 🎉

   C++

6. nidhugg nidhugg Public

   Forked from sarbojit4/nidhugg

   Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently…

   C