Stars
💀 Mac app to block your own access to distracting websites etc for a predetermined period of time. It can not be undone by the app or by a restart – you must wait for the timer to run out.
Fully automatic censorship removal for language models
A decision operating system for high-stakes choices — business, strategy, career. Simulates disagreement, stress-tests assumptions, and converges on what actually holds up. Claude Code skill inspir…
🌸 Run LLMs at home, BitTorrent-style. Fine-tuning and inference up to 10x faster than offloading
State-of-the-art ARC-AGI-2 solver by Confluence Labs
Artefacts from the first complete run of the Lossfunk AI Scientist pipeline for paper accepted at Agents4Science 2025.
Lean 4 programming language and theorem prover
petermost / Sourcetrail
Forked from CoatiSoftware/SourcetrailSourcetrail - free and open-source interactive source explorer
Sourcetrail - free and open-source interactive source explorer
Extracted system prompts from Anthropic - Claude Fable 5, Opus 5, Claude Design, Claude Code. OpenAI - ChatGPT GPT-5.6-Sol, Codex. Google - Gemini 3.5 Flash, 3.1 Pro, Antigravity. xAI - Grok, Curso…
GenAI Processors is a lightweight Python library that enables efficient, parallel content processing.
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
Detect logical inconsistencies in a text
DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
A user-friendly 3d graphing calculator for the web. Create, share, and animate 3d mathematical scenes.
Conversation logs with Claude 3.5 Sonnet to try and iteratively optimize code
This repository serves as your reference and complete guide for SwiftUI Spring Animations. It demonstrates use cases for the various types of spring animations and spring parameters. No more guessi…
Model Context Protocol Servers
Create book from markdown files. Like Gitbook but implemented in Rust