Pinned Loading

1. wikai wikai Public

   AI-powered note-taking app

   Go

2. velora velora Public

   CLI fitness tracker with adaptive coaching AI thrown in. Focuses on cycling and running.

   Go

3. aivoke aivoke Public

   KISS CLI tool for using LLMs and managing prompts

   Go

4. inez inez Public

   A Constraint Solver

   OCaml 12 3

5. pub pub Public

   My academic publications

   1

6. pb-sat pb-sat Public

   SAT-based Pseudo-Boolean Solver

   Common Lisp 1