Lists (23)
Allie
CAD
14 repositories
Data Visualization
2 repositories
Diagramming
1 repository
Favorite Databases
8 repositories
Favorites & Contributing
7 repositories
Fediverse
26 repositories
Games
4 repositories
Homelab
6 repositories
K8s
16 repositories
Learning
3 repositories
LLMs
40 repositories
Logic Programming
6 repositories
Logseq
2 repositories
ML
13 repositories
Personal Webpages
1 repository
Politics
1 repository
RL
4 repositories
Robotics
4 repositories
Rust
6 repositories
Rust Foundations
8 repositories
Rust Gamedev
14 repositories
Webdev
3 repositories
Starred repositories
Early-stage b-rep CAD kernel, written in the Rust programming language.
a truly censorship-resistant alternative to Twitter that has a chance of working
Package manager for things. Start designing modular hardware! PartCAD is the standard for documenting manufacturable physical products (a.k.a. Digital Thread or TDP). It comes with a set of tools t…
A powerful document AI question-answering tool that connects to your local Ollama models. Create, manage, and interact with RAG systems for all your document needs.
Fully local web research and report writing assistant
[ICLR 2025 Spotlight] An open-sourced LLM judge for evaluating LLM-generated answers.
Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)
Curated list of Prolog packages and resources
The Power of Prolog: Introduction to modern Prolog
The Mercury logic programming system.
Some projects I'm using to learn AI since my MS
Ensures that wikilinks in markdown notes in apps like logseq, obsidian, etc point to existing pages, are as verbose as possible, and many other relevant lints.
A game blending factorio style resource management with noita style falling sand simulation, in space.
Fully open reproduction of DeepSeek-R1
TidyBot++: An Open-Source Holonomic Mobile Manipulator for Robot Learning
Comparison of different Lemmy Instances
The Bluesky Social application for Web, iOS, and Android
A handful of Go-based tools for poking around with BlueSky using the AT Protocol