Popular repositories Loading

1. leetcode leetcode Public

   Solved leetcode problems using Prolog and Haskell

   Haskell 7 1

2. chocopkgs chocopkgs Public

   Collection of my packages for Chocolatey.

   PowerShell 7 5

3. glucose-win glucose-win Public

   Windows builds for The Glucose SAT Solver.

   C++ 5 1

4. winrice winrice Public

   My rice for Windows

   PowerShell 1 1

5. syncmiru syncmiru Public

   TypeScript 1

6. dotfiles dotfiles Public

   Personal dotfiles

   Shell