Pinned Loading

1. otter_sat otter_sat Public

   A library for incremental CDCL SAT solving written for skill and research

   Rust

2. thesis thesis Public

   Stanford thesis: Foregone-Conclusions

   TeX

3. navidrome_backup_restore navidrome_backup_restore Public

   Backup/restore metadata and playlist track inclusion & location from/to a live navidrome instance

   Rust

4. clingo-asp-mode clingo-asp-mode Public

   a major mode for working with potassco-style ASP files in emacs

   Emacs Lisp

5. symbolic_inference symbolic_inference Public

   Investigations into the symbolic reasoning of LLMs

   Python

6. tree-sitter-clingo tree-sitter-clingo Public

   a transliteration of the clingo parser to a tree-sitter grammar

   JavaScript