dojo-instruments

★ 48 Open GitHub ↗

Example code exploring Xcode Instruments

Explore Similar Repositories

LeanDojoChatGPT : ChatGPT plugin for theorem proving in Lean
LeanDojo-v2 : LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.
dojo : Dojos realizados na Globo.com ao longo dos últimos anos.
MLE-Dojo : No description available.
dojopy : Python interface to Dojo
// repository documentation