🦜🔗 The platform for reliable agents.

🚀 PR-Agent: An AI-Powered 🤖 Tool for Automated Pull Request Analysis, Feedback, Suggestions and More! 💻🔍

Repository containing SoPs and other reference material for Graduate admission process.

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.

A collection of full time roles in SWE, Quant, and PM for new grads.

Deadline countdowns for academic conferences in Software Engineering

Can LLMs assist or may be replace traditional optimizers?

Javascript Software Composition Analysis for Web Apps

Collection of Summer 2026 tech internships!

official code for "Large Language Models as Optimizers"

An extensive list of Shields.io badges.

Test data sets for multi-objective optimization tasks (most SE related)

optimization via unsupervised explanation tree

Case studies in simpler AI, elegance, and the wisdom of reduction. Think Fast. Learn Smart. Stay Wild.

se grad

Explanation system for semi-supervised multi-objective optimization

grad teaching, intro to SE

Large Language Models for Software Engineering

ChatGPT DAN, Jailbreaks prompt

Synthesizer for provably sound, and most-precise specifications

A preprocessor for Jest to snapshot test TypeScript declaration (.d.ts) files

Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).

Experimentations with Abstract Machines

Abusing the TypeScript type checker as a spell checker because I just can't help myself.

Experiment to push the limits of TypeScript's type system by writing a "real" tokenizer/parser/interpreter entirely on type-level.

A SQL database implemented purely in TypeScript type annotations.

Refinement Types for Scripting Languages

🔤 A list of all the public package names on npm. Updated daily.