typeØ(wl)female's repositories
atprototools
tools for posting / deleting things from bsky, in python
Language:PythonMIT000
gsdmm-rust
GSDMM: Short text clustering (Rust implementation)
Language:RustMIT000
LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
Language:PythonMIT000
pdfGPT
PDF GPT allows you to chat with the contents of your PDF file by using GPT capabilities. The only open source solution to turn your pdf files in a chatbot!
Language:Python000
RankGPT
Is ChatGPT Good at Search? LLMs as Re-Ranking Agent
Language:Python000
silogy-hello-world
A basic application to use with SiLogy.
Language:C++000