Popular repositories Loading

1. tla-ts-mode tla-ts-mode Public

   TLA+ and PlusCal editing mode for emacs powered by tree-sitter

   Emacs Lisp 6 4

2. header-expander header-expander Public

   Provide a simple header-expander for C++ classes written with libclang

   C++ 5 1

3. minishell minishell Public

   Small shell written in C

   C

4. scheduler scheduler Public

   DIY scheduler

   C

5. verification verification Public

   IN324 project software verification

   C

6. qtile qtile Public

   Forked from qtile/qtile

   A small, flexible, scriptable tiling window manager written in Python

   Python