Pinned Loading

1. RasPi-Laser-Engraving RasPi-Laser-Engraving Public

   An easy laser engraving using Raspberry Pi.

   Python 4

2. depkit depkit Public

   DepKit: A Typed Language for Advanced Package Management

   C++

3. RNDLex RNDLex Public

   A regular expression matching tool according to the compilation related content.

   C++

4. Forgessa Forgessa Public

   Build Static Single Assignment (SSA) form, and perform optimizations on SSA.

   Rust 4

5. CoqBrainsMono CoqBrainsMono Public

   Fonts with ligatures for specific languages, based on JetbrainsMono

   1

6. dot-files dot-files Public

   The configuration of Powershell, zsh, vim, tmux and so on

   PowerShell