-
Critical Software
- Lisbon, Portugal
- jgalego.github.io
- in/jgalego
- https://huggingface.co/jgalego
-
-
slopcop Public
Slop stops here 💩✋
-
HiddenSteps Public
HiddenSteps — a local-first personal workflow intelligence platform
-
WIFViewer Public
See your weave before you thread the loom 🧵
JavaScript MIT License UpdatedOct 9, 2026 -
-
-
Claudeholic Public
✴️ One question. Several hours. A satirical intervention for healthier generative AI use.
JavaScript MIT License UpdatedOct 5, 2026 -
awesome-safety-critical-ai Public
When the stakes are high, intelligence is only half the equation - reliability is the other
⚠️ -
paperclip Public
Forked from paperclipai/paperclipThe open-source app everyone uses to manage agents at work
TypeScript MIT License UpdatedSep 30, 2026 -
Sparrow Public
🐦 Build embedded systems. Let AI do the heavy lifting.
Python MIT License UpdatedSep 30, 2026 -
Ephemeral Public
🫧 Software that exists only while it’s useful
Rust Apache License 2.0 UpdatedSep 28, 2026 -
-
-
-
jev-plays Public
🎮 Jev plays GBA & Atari games — one button press at a time 🤖🕹️
Python MIT License UpdatedSep 19, 2026 -
Jevs-Garage Public
A garage full of tiny experiments for building critical systems with System One & Jev 🔧🧠⚡
-
RunNX Public
Fast, fearless, and fully verifiable ONNX runtime in Rust 🚀⚡🦀
-
bend Public
Forked from bendlang/bendBend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
TypeScript Apache License 2.0 UpdatedSep 18, 2026 -
-
LeanLander Public
A focused, cross-platform desktop IDE for Lean 4.
TypeScript MIT License UpdatedSep 10, 2026 -
NavierStokesAndEuler Public
Forked from openai/NavierStokesAndEulerLean certificates accompanying Navier-Stokes and Euler results
Lean Apache License 2.0 UpdatedSep 9, 2026 -
Joy Public
Keep the joy. Let go of the toil — a Claude Code skill for choosing what to keep, pair on, and delegate.
pair-programming developer-tools software-craftsmanship github-copilot human-ai-collaboration ai-coding github-copilot-cliJavaScript MIT License UpdatedSep 8, 2026 -
HyperionOS Public
The first intent-native operating system 🧠🚀🌌
-
AI.zip Public
Some notes on AI as compression 🗜️📁
-
-
oaa-next Public
The Open Agent Architecture (OAA), rebuilt for the age of LLMs 🧠
prolog swi-prolog multi-agent-systems ai-agents llm-agents agent-architecture model-context-protocolProlog Other UpdatedAug 26, 2026 -
-
-
-