Lean 4 kernel / 'external checker' written in Lean 4

White-box automation for Lean 4

Embedding of python interpreter into haskell programs

A collection of formalized statements of conjectures in Lean.

Set Theory Game

Terrain plugin for Godot 4

Ultralytics YOLO 🚀

This project develops an autonomous coding agent that utilizes the Dynamic Action Resampling (DARS) algorithm for robust problem-solving in software repositories. The agent's workflow is orchestrat…

🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

scikit-learn: machine learning in Python