Generate all the things (focusing on research software)
-
Updated
Jun 6, 2024 - Haskell
Generate all the things (focusing on research software)
The vault of knowledge.
A personal knowledge base using markdown files for easy management and access
Reasoning Engine for Neuro-Symbolic AI
All MMT archives of formalizations needed by the UFrameIT prototype in the FrameIT project.
myself in a site =)
Mímisbrunnr is the source of knowledge. (confluence like wiki system)
A repository of mathematical knowledge written in the Mathlingua language.
[Paper List] Papers integrating knowledge graphs (KGs) and large language models (LLMs)
Unofficial Mirror of a site named Fresources
📚️ A repository for showcasing my knowledge of the Yul programming language, and continuing to learn the language.
Deterministic LLMs Outputs for AI Applications and AI Agents
Internet-in-a-Box - Build your own LIBRARY OF ALEXANDRIA with a Raspberry Pi !
Manually curated collection of resources for android developers.
A collection of valuable resources by developers -- for developers -- to share practical learnings, development challenges, and open-source initiatives in dev, QA, Infra, and implementation.
Internet-in-a-Box - Build your own LIBRARY OF ALEXANDRIA with a Raspberry Pi !
Add a description, image, and links to the knowledge topic page so that developers can more easily learn about it.
To associate your repository with the knowledge topic, visit your repo's landing page and select "manage topics."