Popular repositories Loading

1. leetcode leetcode Public

   Solved leetcode problems using Prolog and Haskell

   Haskell 8 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. syncmiru syncmiru Public

   TypeScript 2

5. winrice winrice Public

   My rice for Windows

   PowerShell 1 1

6. dotfiles dotfiles Public

   Personal dotfiles

   Shell