Pinned

1. english2logic english2logic Public

   Parsing English text with Stanza and interpreting as first-order logic according to Montague grammar

   Haskell 1

2. chess2fen-ai chess2fen-ai Public

   Calculate the FEN-string of an NxN image of a chess board

   Python 2

3. llama-playground llama-playground Public

   My playground for Llama.cpp

   Python 1

4. quantize-llama quantize-llama Public

   Quantization of LLaMA models using llama.cpp

   Dockerfile

5. semantic-verification-aw semantic-verification-aw Public

   Semantic verification of a Grammatical Framework grammar for expressing facts about countries and capitals in English and Swedish, using Montague semantics and WikiData.

   Haskell 2

6. maallinjen maallinjen Public

   Statistics and graphics for friendly football betting

   Jupyter Notebook