Popular repositories Loading

1. kickstart.nvim kickstart.nvim Public

   Forked from nvim-lua/kickstart.nvim

   A launch point for your personal nvim configuration

   Lua

2. hardtime.nvim hardtime.nvim Public

   Forked from m4xshen/hardtime.nvim

   A Neovim plugin helping you establish good command workflow and quit bad habit

   Lua

3. ATL ATL Public

   An implementation of Allen Temporal Logic that can be used to reason about systems that include time-spanning events.

   Alloy

4. Advent-of-Code Advent-of-Code Public

   Solutions for Advent of Code

   Rust

5. guilhas07.github.io guilhas07.github.io Public

   Forked from guilhas07/guilhas07.github.io

   HTML