-
Princeton University
- Princeton, NJ, USA
-
16:28
(UTC -04:00) - https://www.lieret.net
- https://orcid.org/0000-0003-2792-7511
- in/klieret
- @klieret
- @klieret.bsky.social
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Astro
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Cuda
- Cython
- Dockerfile
- Emacs Lisp
- GLSL
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Liquid
- MDX
- Makefile
- Markdown
- OCaml
- Objective-C
- PHP
- Perl
- Python
- R
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Shell
- Svelte
- Swift
- TeX
- TypeScript
- VBA
- Vim Script
- Vue
- Xonsh
Starred repositories
Priyank-Shethia3 / mini-swe-agent-automate-repo-installation
Forked from richardzhuang0412/mini-swe-agent-automate-repo-installationLanding page + leaderboard for SWE-Bench benchmark
🏡 Open source home automation that puts local control and privacy first.
An advanced Twitter scraping & OSINT tool written in Python that doesn't use Twitter's API, allowing you to scrape a user's followers, following, Tweets and more while evading most API limitations.
It counts how many times your GitHub profile has been viewed. Free cloud micro-service.
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 >74% 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.