Lists (1)
Starred repositories
The official web interface for OpenReview.net
jless is a command-line JSON viewer designed for reading, exploring, and searching through JSON data.
The mouse and trackpad utility for Mac.
Open source plugin for Mkdocs page redirects
most common word in your language / txt lists extracted from 1000mostcommonwords.com
Low-level unprivileged sandboxing tool used by Flatpak and similar projects
Get statistics on web traffic to your GitHub repositories.
🆕 Benchmarking Goal-Oriented Software Engineering
Comfy, playful but productive theme for Obsidian. "Primary instantly puts you in a relaxed state that opens the door to creativity and exploration. Wonderfully executed down to the smallest details,"
automatically add annotations to untyped python code!
SVGBench: A challenging LLM benchmark that tests knowledge, coding, physical reasoning capabilities of LLMs.
Inference-time scaling for LLMs-as-a-judge.
Academic papers and works related to SWE-bench and SWE-agents
The 100 line AI agent that solves GitHub issues or helps you in your command line. Radically simple, no huge configs, no giant monorepo—but scores >70% on SWE-bench verified!
Automatically update a frontmatter/YAML modified date field
AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code that solves each problem, and is faster than existing implementations.
[NeurIPS 2025 D&B Spotlight] Scaling Data for SWE-agents
An obsidian plugin that rolls over todo items from the previous daily note
Add typed-links to your Obsidian notes
A comprehensive 10-page probability cheatsheet that covers a semester's worth of introduction to probability.
Karabiner-Elements is a powerful tool for customizing keyboards on macOS
Plugin for Obsidian that allows user to add properties to multiple notes at once.
yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor
Add a command to reset the state of any checklists in a document in Obsidian
Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.
Quick tagger for Obsidian.md