导航菜单
可切换导航，有登录选项和外观设置。
平台
包括AI代码创建，如GitHub Copilot、GitHub Copilot应用、MCP注册表；开发者工作流程，像Actions、Codespaces、Issues、代码审查；应用程序安全，有GitHub高级安全、代码安全、密钥保护；还有探索板块，如为何选择GitHub、文档、博客、更新日志、市场等，还可查看所有功能。
解决方案
按公司规模划分，有企业版、中小团队版、初创公司版、非营利组织版；按用例划分，有应用现代化、DevSecOps、DevOps、CI/CD等，还能查看所有用例；按行业划分，有医疗保健、金融服务、制造业、政府部门等，也可查看所有行业，并且可查看所有解决方案。
资源
按主题探索，有AI、软件开发、DevOps、安全等，可查看所有主题；按类型探索，有客户案例、活动与网络研讨会、电子书与报告、商业洞察、GitHub技能；支持与服务方面，有文档、客户支持、社区论坛、信任中心、合作伙伴，还能查看所有资源。
开源
社区方面有GitHub赞助；项目有安全实验室、维护者社区、加速器、GitHub之星、存档项目；仓库有主题、热门趋势、集合。
企业版
企业解决方案是企业平台，可用附加组件有GitHub高级安全、Copilot for Business、高级支持。
定价
有定价相关内容。
搜索相关
可搜索代码、仓库、用户、问题、拉取请求等，有搜索语法提示。
提供反馈
会阅读每一条反馈并认真对待，可选择包含电子邮件地址以便联系。
保存的搜索
使用保存的搜索可更快筛选结果，要查看所有可用限定符，可参阅文档。
登录与注册
有登录和注册选项，还有外观设置，若在其他标签页或窗口有登录、注销、切换账户等操作，需重新加载以刷新会话。
其他导航选项
包括代码、问题、拉取请求、操作、项目、安全与质量、洞察等。
mat - mgm/kb - prolog
该仓库公开，有通知、分支、星标等信息，主分支可查看分支和标签，还能转到文件、查看代码等。文件夹和文件有相关列表，最新提交有历史记录。该仓库是本地优先、超关系型的知识库，采用内容寻址存储（CAS）技术，作为硕士论文原型构建。
它是什么
是超关系图，知识以 `statement(Subject, Predicate, Object, Properties)` 形式存储，主题和对象本身可具体化；采用内容寻址存储，文件暂存、哈希处理并原子性提交，自动进行重复数据删除；有时间旅行功能，更新创建新陈述版本，可通过 `pl history` 遍历版本链；Prolog优先，以Trealla Prolog为主要运行时，通过FFI加载C共享库访问SQLite和Raylib；有交互式GUI，基于Raylib的图查看器，有图像预览、查询栏和节点搜索功能。
构建
依赖项为Clang、X11（Linux）或Xcode CLT（macOS），Trealla Prolog、Raylib、raygui和SQLite作为子模块包含在内。克隆仓库并递归下载子模块，进入项目目录使用make命令，会构建 `libcas.so`、`libgui.so` 和 `libsqlite3.so`，Raylib会从源代码编译。若要从源代码构建Trealla，需进入vendor/trealla目录执行make命令，并确保 `tpl` 在 `$PATH` 中。
使用方法
提供了多种命令，如加载上下文到内存并打开REPL、断言新陈述、全文搜索、查看术语版本历史、导入文件到CAS、列出CAS对象、启动GUI、检查数据库一致性、运行垃圾回收等。
架构
包括main.pl作为CLI路由器和REPL；prolog目录下有sync.pl、cas.pl、db.pl、gui.pl、ontology.pl；src目录下有cas.c / cas.h、gui.c / gui.h、graph.c / graph.h、util.c / util.h；sql目录下有schema.sql；vendor目录包含Trealla、Raylib、raygui、SQLite子模块。
数据模型
每一条知识是 `statement/4` 术语，主题和对象可以是Prolog术语或整数ID，实现任意嵌套，SQLite模式通过相关列和外键反映，还给出了示例，上下文加载使用双向递归CTE仅拉取可从种子术语到达的子图到Prolog内存工作集中。
Nix
提供了 `kb.nix` 外壳用于可重现的构建。
许可证
为GPL - 3.0，可参阅LICENSE.md。
关于
这是基于Prolog、SQLite和C构建的超关系型知识库，采用内容寻址存储技术，有相关主题、资源、许可证等信息，还有星标、关注者、分支等情况，若加载出现错误需重新加载页面，还可举报仓库。
版本与包
未发布任何版本，包数量为0，若加载出现错误需重新加载页面。
贡献者
若加载出现错误需重新加载页面。
语言
包括C（49.6%）、Prolog（42.6%）、Shell（4.8%）、Makefile（1.7%）、Nix（1.3%）。
页脚
有相关导航，包括条款、隐私、安全、状态、社区、文档、联系我们等，此时可能无法执行某些操作。
