Pinned Loading

1. monad-resumption monad-resumption Public

   Resumption and Reactive-Resumption Monads for the Haskell programming language.

   Haskell 9 2

2. peparser-haskell peparser-haskell Public

   A Portable Executable (Microsoft Binary Executable file) header parser in Haskell.

   Haskell 9 4

3. babylon-anf babylon-anf Public

   ANF experiments with Babylon

   Java

4. council-packets council-packets Public

   Search and RAG Q&A over Prairie Village, KS city council packets and minutes

   Python

5. stadium-bonds stadium-bonds Public

   Analysis of revenues, bond parameters, and similar to shake out what's really going on with the Chiefs moving to Wyandotte

   Jupyter Notebook

6. z3proofs z3proofs Public

   Various Z3 Proofs

   Python