🦘
Highlights
- Pro
Yongxi (Aaron) Lin
CoolRmal
PhD student in math at Carnegie Mellon Univeristy. Interested in PDE, harmonic analysis, probability, and formal verification of math.
Tomas Ortega
TomasOrtega
Research Software Engineer @PrincetonUniversity
Princeton University Philadelphia, PA
Math, Inc.
math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.
United States of America
Open5e
open5e
An open resource and API for the 5th edition d20 system, including a variety of OGL and CC-licensed content.
joshwheelock
joshuawheelock
Jumbo - Memory and Context Orchestration for Coding Agents.
@jumbocontext
Copenhagen, Denmark
Fern Forest Games
fernforestgames
Independent game development studio creating games with depth and emergence—worlds that grow with you.
United Kingdom
Volvox
VolvoxCommunity
Open Source Development Community & Software Development Company
United States of America
Jack J. Woehr
jwoehr
Four decades programming | 20 years contributing editor Dr. Dobb's Journal | Quantum Computing | AI
SoftWoehr LLC Sol/3 Earth
Kostas
Kos-M
💻Fullstack Developer⛏️Blockchain Enthusiast,Trader.Releasing stratiqo.com
A platform for traders.Craft/Explore strategies, Test/Validate , Go Live/Profit 💰
Remote
Abhinav Das
theabhinavdas
engineer, pseudo-nerd, multi-instrumentalist, writer of programs, drawer of diagrams, computing evangelist
Mumbai
Shariq Riaz
shariqriazz
AI enthusiast coding open-source tools like Maestro, Vertex AI MCP Server, and QuickScribe. Skilled in AI agents, prompt engineering, and agentic workflows.
Martin Chang
marty1885
Systems software, HPC, GPGPU and AI. I mostly build AI libraries and occasionally stupid code in C++. Chronic VRChat addic
GPG key: 76D1 193D 93E9 6444
/home/marty taiwan
Daniel
daniel-lxs
Software engineer building AI agents and developer tools. Working on Lamp, contributing to OpenClaw, exploring agents and computer use.
Colombia
Cole Medin
coleam00
Generative AI specialist with a wide range of experience developing AI Agents, RAG solutions, local AI deployments, generative AI libraries/packages, and more.
Dynamous
Adam Hill 🦿
adamhill
Mobile App Dev | Xamarin / MAUI & WPF Strong | .NET Generalist | SwiftUI Enthusiast | GameDev & Graphics Adjacent | XR Explorer | Symbolist Plenipotentiary
Wonderous Toys Lewisville, Texas