Agentless🐱: an agentless approach to automatically solve software development problems

Shared repository for open-sourced projects from the Google AI Language team.

Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024

An open source framework for seq2seq models in PyTorch.

PyGCL: A PyTorch Library for Graph Contrastive Learning

APPS: Automated Programming Progress Standard (NeurIPS 2021)

NexusTrader is a professional-grade open-source quantitative trading platform

Attention Is All You Need | a PyTorch Tutorial to Transformers

[GRL+ @ ICML 2020] PyTorch implementation for "Deep Graph Contrastive Representation Learning" (https://arxiv.org/abs/2006.04131v2)

[ACL 2020] Tensorflow implementation for "Every Document Owns Its Structure: Inductive Text Classification via Graph Neural Networks"

[WWW 2021] Source code for "Graph Contrastive Learning with Adaptive Augmentation"

Lean Theorem Prover MCP

An Intel 8086 CPU emulator in Python with GUI.

An interactive theorem prover for string diagrams

A Machine-to-Machine Interaction System for Lean 4.

A hyperparameter manager for deep learning experiments.

A tool for inverting and color correcting scanned film negatives, achieved by simulating the process of analog enlargement..

Python client to interact with the lean4 language server.

Your Command-Line Research Paper Manager

The deep convolutional generative adversarial model, written in Python, using keras with tensorflow as backend.

A Blender add-on that helps the user to compose a scene for thermal analysis and rendering in Stardis