Popular repositories Loading

1. notes notes Public

   Forked from simwir/notes

   A collection of latex notes from studying Computer Science.

   TeX

2. scripts scripts Public

   Forked from simwir/scripts

   PHP

3. ltl-automatabased ltl-automatabased Public

   Shell

4. doom-emacs doom-emacs Public

   Forked from doomemacs/doomemacs

   An Emacs framework for the stubborn martian hacker

   Emacs Lisp

5. ficitili ficitili Public

   Forked from mcc-petrinets/citili

   Generation of fCTL formulas, based on Model Checking Contest

   Go

6. kickstart.nvim kickstart.nvim Public

   Forked from nvim-lua/kickstart.nvim

   A launch point for your personal nvim configuration

   Lua