Lists (25)
Allie
Ansys
CAD
17 repositories
Data Visualization
2 repositories
Diagramming
1 repository
Experiment Tracking
3 repositories
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
5 repositories
Rust
6 repositories
Rust Foundations
8 repositories
Rust Gamedev
14 repositories
Webdev
3 repositories
Starred repositories
Gridfinity Extended OpenSCAD Model
The open source developer platform to build AI/LLM applications and models with confidence. Enhance your AI applications with end-to-end tracking, observability, and evaluations, all in one integra…
Aim 💫 — An easy-to-use & supercharged open-source experiment tracker.
A database with many Manim users and content creators
A tiny, thin, high-speed PCB motor with an onboard sensorless controller
An easy single executable file installer for the windows 10/11 operating systems. Using the Gnu/msys method. If you want to help then please write issues so I can improve this project
A python parametric CAD scripting framework based on OCCT
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.