Pinned Loading

1. lumos lumos Public

   💡 A light wrapper around Objective-C Runtime

   Swift 153 8

2. ggpy ggpy Public

   Forked from yhat/ggpy

   📊 A working, maintained copy of ggpy

   Python 31 7

3. dotfiles dotfiles Public

   🐚 Configuration files for my personal laptop

   Vim Script 1

4. satisfiability-checker satisfiability-checker Public

   ✔️ An implementation of the Davis-Putnam algorithm and the Davis–Logemann–Loveland (DLL) algorithm

   Prolog 1

5. advent-2022 advent-2022 Public

   Advent of Code 2022

   Rust 1

6. fundamentals fundamentals Public

   📋 Introductory data structures and algorithms

   Jupyter Notebook 15 5